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
- A linker script generator for SiFive's Freedom platform☆31Updated 3 years ago
- DTS files☆33Updated 4 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆23Updated 3 years ago
- Advanced Operating Systems project☆20Updated 4 months ago
- Phoenix-RTOS device drivers repository☆20Updated this week
- Yocto/OE metadata for the external sourcery g++ toolchain☆27Updated last year
- newlib OpenRISC development☆24Updated 2 years ago
- Main Repo for the OpenHW Group Software Task Group☆15Updated 2 weeks ago
- Zircon Kernel, Core Drivers, and Services☆32Updated 5 years ago
- An embedded operating system kernel☆15Updated 7 years ago
- Yocto project for Xuantie RISC-V CPU☆38Updated last month
- ☆8Updated 5 months ago
- The Realtime Linux tree☆44Updated 6 years ago
- Some useful RIOT applications☆40Updated 2 years ago
- The QuarkTS port for C++. An open-source OS for embedded applications that supports prioritized cooperative scheduling, time control, int…☆29Updated this week
- user applications for rt-smart☆26Updated last month
- Apache NuttX RTOS for Pine64 Star64 64-bit RISC-V SBC (StarFive JH7110)☆25Updated this week
- awtk port for sylixos☆13Updated 4 years ago
- Website content for devicetree.org☆13Updated this week
- ☆60Updated 3 years ago
- Tools for running the Linux From Scratch book instructions☆66Updated 2 years ago
- ☆34Updated last month
- linux-4.14.xxx for Phytium soc family, the ft2000plus chipset☆10Updated 5 years ago
- Git Mirror of Yann Morin's kconfig-frontends project☆19Updated 11 years ago
- BabbleSim base/common components. Any BabbleSim user will want some of these.☆13Updated last week
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆18Updated 3 years ago
- ☆95Updated 2 years ago
- ☆15Updated 8 years ago
- ☆36Updated 8 months ago
- Bare-metal Rust explorations of the Allwinner D1☆15Updated 2 years ago