4 ms·
Another: http://www.cse.unsw.edu.au/~cs9242/14/lectures/ http://www.cse.unsw.edu.au/~cs9242/14/lectures/ UNSW's Advanced Operating Systems course for microkerne
by dobbsbob 12y ago
Another:
http://www.cse.unsw.edu.au/~cs9242/14/lectures/ http://www.cse.unsw.edu.au/~cs9242/14/lectures/
UNSW's Advanced Operating Systems course for microkernels with focus on seL4