版本 b019249470185f973ab3f9ac34805d316138209f

embedded/2013w13

Changes from b019249470185f973ab3f9ac34805d316138209f to 029ca3639e7e9a527f2e5c593504f4f09c4a0f61

---
title: Week #13 (May 14) :: Embedded Kernel Review
toc: no
...

教材
------
* `ARM lecture: Operating Systems</embedded/lec8-os.pdf>`_
* `Microkerel Evolution<http://www.slideshare.net/jserv/microkernel-evolution>`_
* `From L3 to seL4: What Have We Learnt in 20 Years of L4 Microkernels?<http://ssrg.nicta.com.au/projects/TS/20years.pdf >`_