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

User Reviews

Be the first to post a review of L4KA microkernel!

Additional Project Details

Languages

English

Intended Audience

Science/Research, Education, Developers

Programming Language

C++, Assembly, 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
Miradore MDM

Miradore is a cloud-based Mobile Device Management (MDM) platform that was acquired by GoTo in 2022. Miradore provides a smarter way to securely manage both company-owned and personal Android, iOS, macOS, and Windows devices. GoTo (Miradore) has been recognized as a Leader in the IDC...

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

Report inappropriate content