On Sat Jan 22, 2011 at 18:49:10 +0000, Jason Philip wrote:
how do you create privileged threads?
Not at all. You might want to refer to the l4ka mailing list (http://os.ibds.kit.edu/2186.php) for Pistachio/X.2 specific questions.
Adam
l4-hackers@os.inf.tu-dresden.de