ThreadSwitch--Simulation A simplify version of the thread model of the NachOS 4.1 C++ & inline assemble