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:
- user applications for rt-smart☆27Updated 7 months ago
- ☆96Updated 3 years ago
- awtk port for sylixos☆13Updated 5 years ago
- The Gemini system of RT-Thread/Linux on Dual CPU core.☆14Updated 9 years ago
- Integrate WasmEdge with seL4☆42Updated 3 years ago
- ☆55Updated 8 months ago
- The QuarkTS port for C++. An open-source OS for embedded applications that supports prioritized cooperative scheduling, time control, int…☆33Updated this week
- 在浏览器中运行AWTK应用程序☆25Updated 2 months ago
- The Realtime Linux tree☆47Updated 7 years ago
- Phoenix-RTOS device drivers repository☆22Updated this week
- Software bootloader for boards running Tock.☆27Updated last year
- linux-4.14.xxx for Phytium soc family, the ft2000plus chipset☆11Updated 5 years ago
- Firmware for the Jamine OpenSSD platform☆51Updated 3 years ago
- Sample project using Phoenix-RTOS☆53Updated this week
- Real time operating system made with love ♥.☆29Updated 7 years ago
- C-SKY Linux Port☆74Updated 9 months ago
- Git Mirror of Yann Morin's kconfig-frontends project☆19Updated 12 years ago
- A Micro Kernel Operating System☆12Updated 5 years ago
- Userland apps for Tock written in C and C++☆86Updated this week
- OOSMOS - The Object Oriented State Machine Operating System.☆68Updated last year
- The tools to test and work with Mbed OS☆37Updated 7 months ago
- State-Oriented Programming: was a cover story article about Hierarchical State Machines in C and C++ published originally in "Embedded Sy…☆41Updated last year
- newlib OpenRISC development☆26Updated 4 months ago
- SMQ is an easy to use IoT pub/sub protocol designed and optimized for embedded systems☆38Updated last year
- Phoenix-RTOS microkernel repository☆146Updated this week
- Demo code for linux.conf.au "Linux: the first second" presentation☆31Updated 7 years ago
- FreeRTOS for Jailhouse Cells☆52Updated 2 years ago
- RISC-V port of newlib☆100Updated 3 years ago
- nRF52840-DK BSP☆22Updated 3 years ago
- Open-channel SSD on Cosmos-plus OpenSSD☆23Updated 6 years ago