blob: 970407be244db6e887f2e6de3010ef4d10ecdcd3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
[[!meta copyright="Copyright © 2004, 2006, 2007, 2008, 2010 Free Software
Foundation, Inc."]]
[[!meta license="""[[!toggle id="license" text="GFDL 1.2+"]][[!toggleable
id="license" text="Permission is granted to copy, distribute and/or modify this
document under the terms of the GNU Free Documentation License, Version 1.2 or
any later version published by the Free Software Foundation; with no Invariant
Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license
is included in the section entitled [[GNU Free Documentation
License|/fdl]]."]]"""]]
The [*L4* microkernel](http://l4ka.org/) is an attempt to create a very small
high performace core which provides basic memory management, task and context
switching, and little else.
[L4Ka Pistachio Home](http://l4ka.org/projects/pistachio/).
See [l4.verified](http://nicta.com.au/research/projects/l4.verified) for work
on formally verifying an L4 microkernel.
There was a GNU/Hurd [[history/port_to_L4]], which is now stalled.
|
