[X] The "/02-libpng-devel/1.4.0beta95" file could not be found or is not available. Please select another file.

Share

More
L4KA microkernel Icon

L4KA microkernel

inactive

by esk, ud3, volkmar


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/


http://l4ka.org/





Separate each tag with a space.

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

Rate and Review

Be the first person to add a text review.

Would you recommend this project?






<

Related Projects

L4KA microkernel Actions

Thanks for your rating!

Would you also like to write a review?





Skip Review

Thanks for your review!

Get credit for your review by logging in via OpenID. Click your account provider:

No Thanks