L4:thread creation
创建线程create_thread()创建进程可参考l4ka-pistachio-cb2d287364bc/user/apps/l4test/threads.cc:create_thread (bool new_space, int cpu){ static L4_Fpage_t kip_area, utcb_area; static L4_Word_t utcb_base; static bool initialized = false; static void kip; if (! initialized) { kip = L4_KernelInterface ();
...