Off-topic from ZEVO but of possible interest
As there's a GreenBytes description of the Mac memory model as simplistic – and as questions about memory for ZEVO (this topic and others) may be frequent – the following project may be of interest. It's not recent, but there was attention to memory:
L4/Darwin (aka Darbat)