Hi all,
I find the course "Microkernel Construction" is a good choice to newmen to Fiasco. If there was any detailed document about the design of Fiasco with it, it will be wonderful. If you know such documents, pls let me known and I will appreciate your direction.
Moreover, I plan to give a series of seminars about Fiasco in our group based on the course documents. I also wonder how the teachers at Dresden to carry out the curse.
cheers:)
Liu Jian
l4-hackers@os.inf.tu-dresden.de