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
- Mirror of git://qemu.org/capstone.git☆10Updated last month
- newlib OpenRISC development☆25Updated last month
- Yocto/OE metadata for the external sourcery g++ toolchain☆26Updated last year
- Userland apps for Tock written in C and C++☆83Updated 2 weeks ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆24Updated 3 years ago
- Yocto project for Xuantie RISC-V CPU☆38Updated 4 months ago
- Mirror of git.qemu.org/ipxe.git☆18Updated last month
- ☆40Updated this week
- ☆96Updated 3 years ago
- Software bootloader for boards running Tock.☆25Updated last year
- DTS files☆35Updated 4 years ago
- Bootstrapping Fedora on RISC-V☆28Updated 7 years ago
- An NVMe Device Simulation Library.☆50Updated 2 years ago
- serial com api☆38Updated 4 years ago
- Unit test for ACRN, including unit test cases for hypervisor and device model.☆12Updated 2 years ago
- ☆37Updated last week
- ☆29Updated 2 years ago
- Mirror of git.qemu.org/dtc.git☆12Updated last week
- Instructions to import Ubuntu guest Virtual Machine for RISC-V development for the VEGA board☆15Updated 2 years ago
- ☆35Updated 2 months ago
- The QuarkTS port for C++. An open-source OS for embedded applications that supports prioritized cooperative scheduling, time control, int…☆32Updated 3 months ago
- SiFive OpenEmbedded / Yocto BSP Layer☆52Updated 3 weeks ago
- Linux applications to manage, test and develop devices supporting DMTF Security Protocol and Data Model (SPDM)☆11Updated last month
- Open-source, Thread-safe, Embedded, FAT file-system.☆22Updated 11 years ago
- GNU toolchain for RISC-V, including GCC. Tweaked for microcontrollers.☆30Updated 2 months ago
- The libmetal module specific for use with Zephyr. This is not a mirror of the official libmetal repo.☆12Updated last month
- Some useful RIOT applications☆41Updated 2 years ago
- A small C runtime for bare-metal VMs on the Gunyah Hypervisor.☆12Updated last year
- Clone of git://git.yoctoproject.org/poky☆19Updated 6 years ago
- linux-4.14.xxx for Phytium soc family, the ft2000plus chipset☆10Updated 5 years ago