Hey, a while back someone posted a link to MIT's new teaching operating system. In case anyone is interested this is the teaching operating system from TU Dresden. Its an L4 micro kernel but if you are used to UNIX its a completely alien world. They have some course notes for it posted on line although it doesn't appear to be as well documented as MIT's Fiasco L4ReTUD - Operating Systems - Microkernel-Based Operating Systems | | | | | | | | | | | TUD - Operating Systems - Microkernel-Based Operating Sy...Microkernel-Based Operating Systems | | | | View on www.inf.tu-dresden.de | Preview by Yahoo | | | | | http://wiki.tudos.org/Main_Page TUDOS-Wiki | | | | | | | | | TUDOS-WikiMain Page From TUDOS-Wiki Jump to: navigation, search TUD:OS Wiki Introductions What is L4? What is TUDOS? Using TUDOS Getting TUDOS HOWTOs around TUDOS TUDOS in action Programming TUDOS | | | | View on wiki.tudos.org | Preview by Yahoo | | | | | TUD - Betriebssysteme - Mikrokernkonstruktion | | | | | | | | | | | TUD - Betriebssysteme - MikrokernkonstruktionMikrokernkonstruktion | | | | View on www.inf.tu-dresden.de | Preview by Yahoo | | | | |