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
- ☆57Updated 3 months ago
- The Realtime Linux tree☆49Updated 7 years ago
- awtk port for sylixos☆12Updated 5 years ago
- Mirror of git://qemu.org/capstone.git☆10Updated last month
- user applications for rt-smart☆28Updated last year
- The tools to test and work with Mbed OS☆37Updated last year
- An NVMe Device Simulation Library.☆51Updated 3 years ago
- Mirror of git.qemu.org/dtc.git☆13Updated 2 weeks ago
- The QuarkTS port for C++. An open-source OS for embedded applications that supports prioritized cooperative scheduling, time control, int…☆36Updated 2 months ago
- Userland apps for Tock written in C and C++☆88Updated last month
- newlib OpenRISC development☆27Updated 10 months ago
- Demo code for linux.conf.au "Linux: the first second" presentation☆31Updated 8 years ago
- Phoenix-RTOS microkernel repository☆154Updated this week
- Kernel 4.10 Examples of linux drivers.. for practice and reference☆64Updated 6 months ago
- Embedded C Library (mirror)☆194Updated last week
- C-SKY Linux Port☆75Updated last month
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆26Updated 4 years ago
- a riscv32 rv32imc emulator written in c.☆33Updated 6 months ago
- Buildroot customized for Xuantie™ RISC-V CPU☆47Updated 4 years ago
- RISC-V port of newlib☆102Updated 3 years ago
- Arm Learning Paths: a repository of how-to content for software developers☆130Updated last week
- The Gemini system of RT-Thread/Linux on Dual CPU core.☆14Updated 10 years ago
- Open-channel SSD on Cosmos-plus OpenSSD☆24Updated 7 years ago
- The RTOS components for the CHERIoT research platform☆156Updated 2 weeks ago
- mbedtls module for Zephyr, this is not a mirror of the official mbedtls repository.☆25Updated 2 months ago
- Git Mirror of Yann Morin's kconfig-frontends project☆19Updated 12 years ago
- FreeRTOS BSP for Boundary Devices platforms☆11Updated 10 months ago
- The libmetal module specific for use with Zephyr. This is not a mirror of the official libmetal repo.☆14Updated 2 months ago
- FreeRTOS for Jailhouse Cells☆53Updated 2 years ago