HIGH Level Emulation of Linux