AmbiML / sparrow-kernelLinks
The seL4 microkernel
☆26Updated 2 years ago
Alternatives and similar repositories for sparrow-kernel
Users that are interested in sparrow-kernel are comparing it to the libraries listed below
Sorting:
- Embedded C Library (mirror)☆196Updated 2 weeks ago
- user applications for rt-smart☆28Updated last year
- ☆96Updated 3 years ago
- ☆58Updated 4 months ago
- A small C runtime for bare-metal VMs on the Gunyah Hypervisor.☆14Updated 4 months ago
- The Realtime Linux tree☆49Updated 7 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆26Updated 4 years ago
- Jailhouse demonstration and testing images☆64Updated last year
- linux-4.14.xxx for Phytium soc family, the ft2000plus chipset☆11Updated 6 years ago
- Integrate WasmEdge with seL4☆43Updated 3 years ago
- Firmware for the Jamine OpenSSD platform☆57Updated 3 years ago
- Phoenix-RTOS microkernel repository☆154Updated this week
- Git Mirror of Yann Morin's kconfig-frontends project☆19Updated 12 years ago
- The tools to test and work with Mbed OS☆37Updated last year
- This is the source of the seL4 docs.☆18Updated this week
- The libmetal module specific for use with Zephyr. This is not a mirror of the official libmetal repo.☆14Updated 3 months ago
- DTS files☆40Updated 5 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆17Updated 4 years ago
- Mirror of git://qemu.org/capstone.git☆10Updated last month
- RISC-V Profiles and Platform Specification☆116Updated 2 years ago
- uClibc mirror☆59Updated last year
- Lightweight TCP/IP stack (LwIP) is a small independent implementation of the TCP/IP protocol suite.☆134Updated 2 years ago
- Standalone kconfig and kbuild☆65Updated 9 months ago
- FreeRTOS for Jailhouse Cells☆53Updated 2 years ago
- Sample project using Phoenix-RTOS☆60Updated this week
- C-SKY Linux Port☆75Updated last month
- µCOS-II☆15Updated 7 years ago
- Mirror of git.qemu.org/dtc.git☆13Updated last week
- Mirror of gitlab.com/qemu-project/u-boot.git☆65Updated 6 months ago
- The RTOS components for the CHERIoT research platform☆156Updated this week