Re: Teaching OS Course notes

Hi,

we had some "Advanced Operating Systems" AOS course at Hochschule
Rhein-Main. This was some mixed lecture with tu dresden (fiasco) and
NICTA (seL4) slides.

Both are some L4 kernel based microkernel systems. I am sure your read
about that. I am happy that I leave the microkernel world now and just
doing some linux hacking now.


Nevertheless here is the website of this course [0].

We had some Raspberry Pi's and did some fiasco hacking. Now seL4 is open
source and maybe better. We had a lot of trouble because the lua
scripting buildsystem and the channel setup for IPC in lua. At the end
it was a really nice course about microkernel operating systems.

Cheers,
Alex

[0] http://www.cs.hs-rm.de/~kaiser/1314_aos.php