Another: http://www.cse.unsw.edu.au/~cs9242/14/lectures/ UNSW's Advanced Operating Systems course for microkernels with focus on seL4