AmbiML / sparrow-kernel
The seL4 microkernel
☆25Updated last year
Related projects ⓘ
Alternatives and complementary repositories for sparrow-kernel
- Software bootloader for boards running Tock.☆23Updated 9 months ago
- Userland apps for Tock written in C and C++☆82Updated this week
- Yocto project for Xuantie RISC-V CPU☆37Updated 5 months ago
- Bare-metal Rust explorations of the Allwinner D1☆15Updated 2 years ago
- awtk port for sylixos☆13Updated 4 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆22Updated 2 years ago
- Yocto/OE metadata for the external sourcery g++ toolchain☆25Updated 11 months ago
- DTS files☆31Updated 4 years ago
- user applications for rt-smart☆26Updated last week
- All public report slides, articles and meeting minutes related to RustSBI☆27Updated last week
- ☆17Updated last month
- The QuarkTS port for C++. An open-source OS for embedded applications that supports prioritized cooperative scheduling, time control, int…☆26Updated 2 weeks ago
- newlib OpenRISC development☆24Updated 2 years ago
- A linker script generator for SiFive's Freedom platform☆32Updated 3 years ago
- Integrate WasmEdge with seL4☆44Updated 2 years ago
- The Realtime Linux tree☆44Updated 6 years ago
- Tool for programming Tock onto hardware boards.☆42Updated last month
- littlefs module for Zephyr, not a mirror of the official littlefs repository☆15Updated 3 months ago
- nRF52840-DK BSP☆21Updated 3 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆18Updated 3 years ago
- SMQ is an easy to use IoT pub/sub protocol designed and optimized for embedded systems☆36Updated 7 months ago
- The main CAmkES tool☆29Updated 4 months ago
- The Gemini system of RT-Thread/Linux on Dual CPU core.☆14Updated 9 years ago
- FreeRTOS for Jailhouse Cells☆48Updated last year
- Some useful RIOT applications☆41Updated 2 years ago
- RISC-V port of newlib☆95Updated 2 years ago
- GNU toolchain for AndesCore☆22Updated 4 months ago
- ☆15Updated 8 years ago
- ☆35Updated last year