L4KA microkernel

  •        0

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/

Tags
Implementation
License
Platform

   

comments powered by Disqus


Related Projects

Genode - Operating System Framework


The Genode operating-system framework provides a uniform API for applications on top of 8 existing microkernels/hypervisors: Linux, L4ka::Pistachio, L4/Fiasco, OKL4, NOVA, Fiasco.OC, Codezero, and a custom kernel for ARM SoCs. For developers, the framework provides an easy way to target multiple different kernels instead of tying the development to a particular kernel technology.

BEL4KA


This is a new operating system contains beos environment for L4: ka microkernel.

Ncny - Operating System based on Microkernel


NCNY(acronym of "No Cool Name Yet") is a 32-bit(and 64-bit in future) Operating System, that based on L4ka::Pistachio microkernel. There are planned to fully confirm to the latest POSIX and SUS standart.

Fantom - Fantom CMS


Jednoduchý, výkonný systém pre správu obsahu, primárne ur�ený pre tvorbu blogu. Hlavné vlastnosti jednoduché a výkonné administra�né rozhranie administrácia �lánkov, noviniek, komentárov, užívateľov, nálepiek, kategórií... maximálne využitie ajax technológie pre pohodlné používanie celého systému podpora tém a editácia vzhľadu priamo v administra�nom rozhraní využitie texy pre jednoduché formátovanie �lánkov a komentárov postavené na modernom framework

Genceptjquery - jquery.js


/! jQuery JavaScript Library v1.4.4 http://jquery.com/ Copyright 2010, John Resig Dual licensed under the MIT or GPL Version 2 licenses. http://jquery.org/license Includes Sizzle.js http://sizzlejs.com/ Copyright 2010, The Dojo Foundation Released under the MIT, BSD, and GPL Licenses. Date: Thu Nov 11 19:04:53 2010 -0500 (function(E,B){function ka(a,b,d){if(d===B&&a.nodeType===1){d=a.getAttribute("data-"+b);if(typeof d==="string"){try{d=d==="true"?true:d==="false"?false:d==="null"?null:!c.isNaN(

Jquerywallbase - jquery


/! jQuery JavaScript Library v1.4.4 http://jquery.com/ Copyright 2010, John Resig Dual licensed under the MIT or GPL Version 2 licenses. http://jquery.org/license Includes Sizzle.js http://sizzlejs.com/ Copyright 2010, The Dojo Foundation Released under the MIT, BSD, and GPL Licenses. Date: Thu Nov 11 19:04:53 2010 -0500 (function(E,B){function ka(a,b,d){if(d===B&&a.nodeType===1){d=a.getAttribute("data-"+b);if(typeof d==="string"){try{d=d==="true"?true:d==="false"?false:d==="null"?null:!c.isNaN(

Webkursi - Samples and course materials for a Java-based Web technology course


This repository under "songs" contains song source texts in LilyPond as well as the results of LilyPond processing (including PNG images, SVG images, MIDI sound files, and lyrics+metainformation in XML). The project also contains some Scala, Java, Ant tools to automate certain LilyPond processing tasks. We continue with project description in Latvian. Dziesmu projekta mērķiDaudzi dzied�t�ji, pašdarbības kolektīvi u.c. pieredz, ka dziesmu v�rdi un notis j�meklē daž�dos druk�tos kr�j

Image2css - Convert images (png, gif, jpg) to Data URI CSS classes


Image2CSS-Converter has moved to github.comnew location The purpose of Image2CSS-Converter is to stream-line the process of generating data URI for use in CSS files. There are several online tools that allow you to upload images and receive a screen full of Base64 text. This tool allows you to batch script the process on your own machine. Features: Command line interface for Linux or Windows Generate CSS file containing Data URI CSS classes Convert single file or entire directories of images to

Gja-convert - Simple program for converting music files into ogg or flac


CONVERTProgram pro převod hudebních formátů PředstaveníProgram Convert umí převést širokou škálu různých hudebních formátů do formátu OGG nebo FLAC. Uživatel si může nastavit potřebné parametry výstupního formátu, má tedy kontrolu nad kvalitou převedených skladeb. Convert má příjemně jednoduché uživatelské rozhraní, skladby je možné přetáhnout do okna programu na ikonu formátu, do kterého mají být převedeny. Program už pak podle nastavení vygeneruj

Port-jvm-l4 - Port Kaffe JVM to L4 Microkernel


This is an undergraduate project in Faculty of Engineering, University of Peradeniya, Sri Lanka. The intention of the project is to port Java Virtual Machine directly to L4. Microkernel - L4Ka - L4::pistachio JVM - Kaffe