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

Level Up Your Cyber Defense with External Threat Management

See every risk before it hits. From exposed data to dark web chatter. All in one unified view.

Move beyond alerts. Gain full visibility, context, and control over your external attack surface to stay ahead of every threat.

Try for 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

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
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
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
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
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
Bitrise

Bitrise is a CI/CD platform built for mobile development, helping teams speed up builds, automate testing, and deliver high-quality apps faster. It supports native languages like Swift, Objective-C, Java, and Kotlin, as well as cross-platform frameworks including React Native, Flutter, Xamarin,...

See Software