L4KA microkernel

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/

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow L4KA microkernel

L4KA microkernel Web Site

Other Useful Business Software

Gen AI apps are built with MongoDB Atlas

Build gen AI apps with an all-in-one modern database: MongoDB Atlas

MongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.

Start Free

Rate This Project

User Reviews

Be the first to post a review of L4KA microkernel!

Additional Project Details

Languages

English

Intended Audience

Developers, Education, Science/Research

Programming Language

Assembly, C, C++

Related Categories

C++ Operating System Kernels, Assembly Operating System Kernels, C Operating System Kernels

Registered

2000-07-26

Similar Business Software

Nebula

Innovative companies with high expectations of availablility and reliability run their networks with Nebula. Slack open sourced the project after years of R&D and deploying it at scale. Nebula is a lightweight service that’s easy to distribute and configure on modern operating systems. It runs...

See Software
UnForm

UnForm is a powerful enterprise document management and process automation solution that seamlessly integrates with any application. Our platform-independent, fully browser-based solutions provide the ability to create, deliver, capture, index, route, and store documents from start to finish so...

See Software
Comet Backup

Start running backups and restores in less than 15 minutes! Fast, secure backup software for businesses and IT providers. Comet is a flexible, all-in-one backup platform available in 13 languages. You choose your backup destination, server location, configuration and setup. Backup to your...

See Software
Square 9

Paper-based work is a soul-crushing, profit-sapping drag on individual, team, and company productivity. Paper literally smothers innovation, creating a competitive disadvantage. The Square 9 AI-powered intelligent information processing platform takes the paper out of work and makes it easier...

See Software
TinyPNG

TinyPNG (by Tinify) is a free image optimization tool trusted by developers and designers worldwide. It uses smart lossy compression to compress JPEG, PNG, WebP, and AVIF files by up to 80% without visible quality loss - boosting speed, SEO, and reducing bandwidth. Compress, convert, and...

See Software
Ninox

Ninox is your solution for organizing and managing complex data in a structured and efficient way. With its highly flexible user interface, you can analyze, process, and evaluate any type of data. Additionally, the Ninox API enables seamless integration with services like Google for enhanced...

See Software