Operating Systems
|
Operating Systems
|
|
| The L4Ka microkernel is an L4 compatible kernel running on many platforms: ARM; MIPS; 68k, PPC; x86. A port of Linux atop an L4Ka microkernel exists. |
Copyright © 2002-2006, websy.net All Rights Reserved.