AmbiML / sparrow-kernelLinks
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
Sorting:
- Mirror of git.qemu.org/ipxe.git☆18Updated 2 months ago
- newlib OpenRISC development☆25Updated 2 months ago
- Demo code for linux.conf.au "Linux: the first second" presentation☆31Updated 7 years ago
- Mirror of git://qemu.org/capstone.git☆10Updated last month
- Firmware for the Jamine OpenSSD platform☆49Updated 3 years ago
- DTS files☆35Updated 4 years ago
- Yocto/OE metadata for the external sourcery g++ toolchain☆26Updated last year
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆24Updated 3 years ago
- Linux applications to manage, test and develop devices supporting DMTF Security Protocol and Data Model (SPDM)☆11Updated last month
- Some useful RIOT applications☆41Updated 2 years ago
- ☆27Updated 9 years ago
- Unit test for ACRN, including unit test cases for hypervisor and device model.☆12Updated 2 years ago
- ☆96Updated 3 years ago
- Mirror of gitlab.com/qemu-project/u-boot.git☆62Updated this week
- FreeRTOS for Jailhouse Cells☆50Updated 2 years ago
- Yocto project for Xuantie RISC-V CPU☆38Updated 2 weeks ago
- A mirror of the upstream binutils-gdb repository for ARC specific work☆14Updated this week
- An embedded operating system kernel☆15Updated 7 years ago
- This is the source of the seL4 docs.☆16Updated this week
- ☆61Updated 3 years ago
- GNU toolchain for RISC-V, including GCC. Tweaked for microcontrollers.☆31Updated 3 months ago
- The main CAmkES tool☆29Updated 2 months ago
- Website content for devicetree.org☆13Updated 4 months ago
- Embedded C Library (mirror)☆166Updated last month
- Advanced Operating Systems project☆20Updated 8 months ago
- ☆60Updated last week
- tar file system as loadable kernel module☆17Updated 8 years ago
- Real time operating system made with love ♥.☆28Updated 7 years ago
- ☆54Updated 6 months ago
- Linux bridge utils (obsolete and unmaintained)☆31Updated 6 years ago