On 20 Nov 2015, at 23:34 , Raymond Jennings <[email protected]<mailto:[email protected]>> wrote:
Somehow though I got the impression that, at least for memory, it was on a first come first serve basis and anything getting orphaned was recycled and put back up for grabs. that’s the old (V4) L4, that didn’t have a principled resource management model. Gernot ________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
