Morning, i'm searching some university courses that use L4. Searching on the net i found a document that talks of a university with a O.S. course with the target to build a small operating system based on l4 at the end of the course. Unfortunatly i haven't found slides and the university.
Do you know some univeristy that uses l4 for the O.S. course? Thanks and sorry for the stupid request. Slex
Maybe this subjects in the Faculty of Computer Science in the Technische Universität Dresden interest you:
Microkernel-Based Operating Systems: http://www.inf.tu-dresden.de/index.php?node_id=1314&ln=en
Complex lab (They build an operating system on top of Fiasco): http://www.inf.tu-dresden.de/index.php?node_id=1315&ln=en
Microkernel Construction: http://www.inf.tu-dresden.de/index.php?node_id=1317
2011/9/20 Slex Sangiuliano alex22_7@hotmail.com:
Morning, i'm searching some university courses that use L4. Searching on the net i found a document that talks of a university with a O.S. course with the target to build a small operating system based on l4 at the end of the course. Unfortunatly i haven't found slides and the university.
Do you know some univeristy that uses l4 for the O.S. course? Thanks and sorry for the stupid request. Slex
l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
Hi,
Microkernel-Based Operating Systems: http://www.inf.tu-dresden.de/index.php?node_id=1314&ln=en
The slides for this course are no longer on the website because the new semester starts soon and we sometimes change things, so we publish the slides as we go through the course. But you can find last year's slides for this course here: http://os.inf.tu-dresden.de/Studium/KMB/WS2010/
Michael
I have been teaching an L4-based course Advanced Operating Systems at UNSW since 1997, you can find all the lecture slides from this and previous years on the web site (http://www.cse.unsw.edu.au/~cs9242). A refreshed set of "microkernel internals" slides will be up at the end of this week. The course has been copied at Karlsruhe, Arizona State, ETH Zurich and Boston Uni among others (although not all of them are still running it).
Gernot
On 21/09/2011, at 3:31 , Slex Sangiuliano wrote:
Morning, i'm searching some university courses that use L4. Searching on the net i found a document that talks of a university with a O.S. course with the target to build a small operating system based on l4 at the end of the course. Unfortunatly i haven't found slides and the university.
Do you know some univeristy that uses l4 for the O.S. course? Thanks and sorry for the stupid request. Slex _______________________________________________ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
Thank you to all for replies
From: gernot@cse.unsw.edu.au To: alex22_7@hotmail.com Date: Wed, 21 Sep 2011 08:04:24 +1000 Subject: Re: L4 courses CC: l4-hackers@os.inf.tu-dresden.de
I have been teaching an L4-based course Advanced Operating Systems at UNSW since 1997, you can find all the lecture slides from this and previous years on the web site (http://www.cse.unsw.edu.au/~cs9242). A refreshed set of "microkernel internals" slides will be up at the end of this week. The course has been copied at Karlsruhe, Arizona State, ETH Zurich and Boston Uni among others (although not all of them are still running it). Gernot On 21/09/2011, at 3:31 , Slex Sangiuliano wrote:Morning, i'm searching some university courses that use L4. Searching on the net i found a document that talks of a university with a O.S. course with the target to build a small operating system based on l4 at the end of the course. Unfortunatly i haven't found slides and the university.
Do you know some univeristy that uses l4 for the O.S. course? Thanks and sorry for the stupid request. Slex _______________________________________________ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
l4-hackers@os.inf.tu-dresden.de