Fiasco.OC IPC performance

Michael Roitzsch mroi at os.inf.tu-dresden.de
Sat Feb 5 15:24:28 CET 2011


Hi Chen,

> All these numbers are obtained from Virtualbox simulations (4-core processors).

You should do performance measurements on real hardware, not inside a virtual machine.

Michael





More information about the l4-hackers mailing list