AmbiML / sparrow-kernelLinks
The seL4 microkernel
☆26Updated 2 years ago
Alternatives and similar repositories for sparrow-kernel
Users that are interested in sparrow-kernel are comparing it to the libraries listed below
Sorting:
- The QuarkTS port for C++. An open-source OS for embedded applications that supports prioritized cooperative scheduling, time control, int…☆35Updated last week
- The Gemini system of RT-Thread/Linux on Dual CPU core.☆14Updated 9 years ago
- The Realtime Linux tree☆48Updated 7 years ago
- ☆96Updated 3 years ago
- awtk port for sylixos☆12Updated 5 years ago
- Phoenix-RTOS device drivers repository☆22Updated this week
- user applications for rt-smart☆27Updated 9 months ago
- linux-4.14.xxx for Phytium soc family, the ft2000plus chipset☆10Updated 6 years ago
- newlib OpenRISC development☆25Updated 6 months ago
- The libmetal module specific for use with Zephyr. This is not a mirror of the official libmetal repo.☆14Updated 4 months ago
- littlefs module for Zephyr, not a mirror of the official littlefs repository☆19Updated 5 months ago
- Buildroot customized for Xuantie™ RISC-V CPU☆47Updated 3 years ago
- ☆55Updated 2 weeks ago
- The tools to test and work with Mbed OS☆37Updated 9 months ago
- Integrate WasmEdge with seL4☆42Updated 3 years ago
- uClinux for Cortex-M3 and Cortex-M4☆37Updated 10 years ago
- 在浏览器中运行AWTK应用程序☆25Updated 2 months ago
- Yocto/OE metadata for the external sourcery g++ toolchain☆27Updated last year
- C-SKY Linux Port☆75Updated this week
- Git Mirror of Yann Morin's kconfig-frontends project☆19Updated 12 years ago
- Apache NuttX RTOS for Pine64 Star64 64-bit RISC-V SBC (StarFive JH7110)☆31Updated this week
- Standalone kconfig and kbuild☆63Updated 5 months ago
- DTS files☆39Updated 5 years ago
- Real time operating system made with love ♥.☆29Updated 8 years ago
- Embedded C Library (mirror)☆184Updated this week
- OOSMOS - The Object Oriented State Machine Operating System.☆68Updated last year
- Phoenix-RTOS microkernel repository☆148Updated this week
- Low-level debug tools for MDIO devices.☆85Updated last week
- ☆62Updated 2 years ago
- openthread module for Zephyr, not a mirror of the official openthread repository☆31Updated last week