The L4Ka microkernel is an L4 compatible microkernel running on multiple platforms (x86, ARM, MIPS, PPC, 68K). Its official name is now L4Ka::Hazelnut. This kernel has been discontinued in favor of L4Ka::Pistachio. See http://l4ka.org/
Release Date:
2002-06-26
Topic:
Operating System:
License:
Translations:
Intended Audience:
Programming Language:
Registered:
2000-07-26
Ratings and Reviews
Be the first to post a text review of L4KA microkernel. Rate and review a project by clicking thumbs up or thumbs down in the right column.
Project Feed
-
Code committed
-
Code committed
-
Code committed
-
File released: /l4ka/RC2/l4-ka_RC2.tar.bz2
-
l4ka RC2 file released: l4-ka_RC2.tar.bz2
-
Code committed
-
Code committed
-
Code committed
-
Code committed
-
Code committed
Rate and Review
Be the first person to add a text review.
Related Projects
-
-
OpenOCD - Open On-Chip Debugger (JTAG)
The "Open On-Chip Debugger" provides JTAG access from GDB (or directly with TCL scripts) to processors with ARM, MIPS, and other cores . SF.net hosts the master OpenOCD GIT tree, while openocd.berlios.de hosts the project's web site and mailing lists.
-
L4KA microkernel Actions
About SourceForge
Develop Software
Community
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
