Explore Projects

Discover 3 open source projects

Active filters (1):

Search: sel4×

Showing 1-3 of 3 projects

Redox is an open-source microkernel-based operating system written in Rust, focused on security and modern hardware support.

16.1K

Active

Rust

Linux Distros

#open-source#microkernel#security

The seL4 microkernel is a high-performance, highly secure, open-source operating system kernel.

5.3K

Active

Linux Distros

CLI Tools

#microkernel#os#sel4

Genode OS Framework is a microkernel-based operating system focused on security, modularity, and portability.

1.2K

Active

C++

Operating System

CLI Tools

#microkernel#security#modularity

Get weekly updates on trending AI coding tools and projects.