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:
- ☆96Updated 3 years ago
- Integrate WasmEdge with seL4☆43Updated 3 years ago
- Jailhouse demonstration and testing images☆64Updated last year
- newlib OpenRISC development☆27Updated 9 months ago
- The Realtime Linux tree☆49Updated 7 years ago
- user applications for rt-smart☆28Updated last year
- ☆56Updated 3 months ago
- Standalone kconfig and kbuild☆64Updated 8 months ago
- Embedded C Library (mirror)☆189Updated 2 months ago
- Firmware for the Jamine OpenSSD platform☆55Updated 3 years ago
- Userland apps for Tock written in C and C++☆88Updated 2 weeks ago
- RISC-V port of newlib☆102Updated 3 years ago
- The barebox bootloader - Mirror of ssh://public@git.pengutronix.de/barebox☆267Updated this week
- FreeRTOS for Jailhouse Cells☆53Updated 2 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆26Updated 4 years ago
- Sample project using Phoenix-RTOS☆60Updated last week
- Mirror of git.qemu.org/dtc.git☆13Updated last month
- An abstraction layer across RTOS, baremetal, and user-space Linux environments☆332Updated 2 weeks ago
- Mirror of git://qemu.org/capstone.git☆10Updated last week
- Buildroot customized for Xuantie™ RISC-V CPU☆47Updated 3 years ago
- 🌄 RISC-V Ecosystem Landscape: a living document that developers, investors, vendors, researchers and others can use as a resource on the…☆20Updated 3 weeks ago
- OOSMOS - The Object Oriented State Machine Operating System.☆69Updated last month
- C-SKY Linux Port☆75Updated last month
- The main CAmkES tool☆26Updated last month
- The tools to test and work with Mbed OS☆37Updated last year
- Git Mirror of Yann Morin's kconfig-frontends project☆19Updated 12 years ago
- awtk port for sylixos☆12Updated 5 years ago
- linux-4.14.xxx for Phytium soc family, the ft2000plus chipset☆11Updated 6 years ago
- SMQ is an easy to use IoT pub/sub protocol designed and optimized for embedded systems☆38Updated last year
- The RTOS components for the CHERIoT research platform☆156Updated last week