2

Modeling Speedup in Multi-OS Environments on real world multi-kernels