thread creation help

Gernot Heiser gernot at
Sun Feb 13 23:41:45 CET 2011

Have a look at the L4 user manuals on

They contain plenty of sample code and explanation, although not for the latest versions. Examples for OKL4 v 2.1 can be found on my Advanced Operating Systems lecture slides, "week 2", se


More information about the l4-hackers mailing list