版本 029ca3639e7e9a527f2e5c593504f4f09c4a0f61

embedded/2013w13

Changes from 029ca3639e7e9a527f2e5c593504f4f09c4a0f61 to b4b50d88d06cc2dbfbd3143a8b8cd65fe0989d6b

---
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 >`_
* [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 )