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 -- Adam adam at os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/