[okl4-developer] Root server and root task

[Gernot Heiser]

>>>>> On Thu, 30 Apr 2009 11:52:33 +0200, Xavier.LANGELLIER at fr.thalesgroup.com said:
CQ> 	Hello, you mentioned that the Gernot Heiser's lectures. Can you give
CQ> me the 
CQ> link?
CQ> 	Before all the time i studied the lectures about L4 provided by
CQ> Dresden and 
CQ> Karlsuhe. I don't find the similar lectures in the UNSW website.

Try googling "unsw l4 lectures" (and "I feel lucky" ;-)

I was teaching this course since 1997, the Karlsruhe and Dresden
courses are in fact an adaptation of mine.

Gernot