Editing L4 microkernel family (section)

== External links ==
* {{Webarchive|url=https://web.archive.org/web/20191025002913/http://www.l4hq.org/ L4Hq: L4 headquarters, community site for L4 projects}}
* [http://os.inf.tu-dresden.de/L4/ The L4 μ-Kernel Family], overview of L4 implementations, documentation, projects
* [http://wiki.tudos.org Official TUD:OS Wiki]
* [http://www.l4ka.org L4Ka]: Implementations L4Ka::Pistachio and L4Ka::Hazelnut
* {{Official website|sel4.systems}}, seL4
* [http://www.cse.unsw.edu.au/~disy/L4/ UNSW]: Implementations for [[DEC Alpha]] and [[MIPS architecture]]
* {{Webarchive|url=https://web.archive.org/web/20080820043831/http://okl4.org/ OKL4}}: Commercial L4 version from {{Webarchive|url=https://web.archive.org/web/20090319021316/http://www.ok-labs.com/ Open Kernel Labs}}
* {{Webarchive|url=https://web.archive.org/web/20140717185304/http://www.ertos.nicta.com.au/research/l4/ NICTA L4]: Research Overview and Publications}}
* [https://trustworthy.systems Trustworthy Systems Group at CSIRO's Data61]: Present home of the former NICTA group that developed seL4
* [http://genode.org/about/index Genode Operating System Framework]: An offspring of the L4 community

{{Microkernel}}
{{Object-capability security}}
{{Linux Foundation}}

[[Category:Capability systems]]
[[Category:Microkernels]]
[[Category:Assembly language software]]