AmbiML / sparrow-kernel
The seL4 microkernel
☆26Updated last year
Alternatives and similar repositories for sparrow-kernel:
Users that are interested in sparrow-kernel are comparing it to the libraries listed below
- Yocto/OE metadata for the external sourcery g++ toolchain☆27Updated last year
- DTS files☆34Updated 4 years ago
- Software bootloader for boards running Tock.☆25Updated last year
- Real time operating system made with love ♥.☆27Updated 7 years ago
- The QuarkTS port for C++. An open-source OS for embedded applications that supports prioritized cooperative scheduling, time control, int…☆31Updated 2 months ago
- Mirror of git.qemu.org/ipxe.git☆18Updated 3 weeks ago
- Yocto project for Xuantie RISC-V CPU☆38Updated 3 months ago
- Demo code for linux.conf.au "Linux: the first second" presentation☆31Updated 7 years ago
- newlib OpenRISC development☆25Updated last week
- Mirror of git://qemu.org/capstone.git☆10Updated this week
- Userland apps for Tock written in C and C++☆83Updated this week
- Minimal buildroot for amd64 and arm64☆14Updated last year
- Unit test for ACRN, including unit test cases for hypervisor and device model.☆12Updated 2 years ago
- Advanced Operating Systems project☆20Updated 7 months ago
- SiFive OpenEmbedded / Yocto BSP Layer☆52Updated last month
- Phoenix-RTOS device drivers repository☆22Updated this week
- ☆95Updated 3 years ago
- The main CAmkES tool☆29Updated 3 weeks ago
- The Gemini system of RT-Thread/Linux on Dual CPU core.☆14Updated 9 years ago
- 'vhost-user' device backends workspace☆82Updated this week
- PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS☆13Updated 2 years ago
- The libmetal module specific for use with Zephyr. This is not a mirror of the official libmetal repo.☆12Updated last week
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆24Updated 3 years ago
- A small C runtime for bare-metal VMs on the Gunyah Hypervisor.☆12Updated last year
- ☆14Updated 5 years ago
- user applications for rt-smart☆27Updated 3 months ago
- An NVMe Device Simulation Library.☆50Updated 2 years ago
- 🌀 Microkernel Real-Time Operating System in Rust☆43Updated last year
- Standalone kconfig and kbuild☆57Updated last month
- Basic tools for building seL4 projects☆46Updated last week