Sign in with GitHub

← Back to Discover

au-ts/lionsos

CBSD-2-Clauseactive

Health

A secure, fast, and adaptable OS based on the seL4 microkernel

Stars237

Forks35

Open Issues91

Contributors35

Last Push3d ago

Health Breakdown

Activity

25

Community

13

Maintenance

5

Popularity

25

View on GitHub ↗Issues (91) ↗Pull Requests ↗

Community

CBSD 2

A secure, fast, and adaptable OS based on the seL4 microkernel

active

★ 23735 contributors3d ago

More C repos

apache/nuttx-apps

Apache NuttX Apps is a collection of tools, shells, network utilities, libraries, interpreters and can be used with the NuttX RTOS

cherry-embedded/CherryDAP

CherryDAP is a DAPLink template based on CherryUSB and ARMmbed DAPLink.

wolfSSL/wolfssl

The wolfSSL library is a small, fast, portable implementation of TLS/SSL for embedded devices to the cloud. wolfSSL supports up to TLS 1.3 and DTLS 1.3! Update to wolfSSL 5.9.1 for the latest CVE fixes.