j
k
j a
j l
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
Back to the thread
Back to the list