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:
- Phoenix-RTOS device drivers repository☆22Updated last week
- Software bootloader for boards running Tock.☆27Updated last year
- Demo code for linux.conf.au "Linux: the first second" presentation☆31Updated 7 years ago
- DTS files☆35Updated 4 years ago
- An embedded operating system kernel☆15Updated 7 years ago
- Bare-metal Rust explorations of the Allwinner D1☆15Updated 2 years ago
- Advanced Operating Systems project☆20Updated 9 months ago
- ☆96Updated 3 years ago
- ☆8Updated 10 months ago
- Some useful RIOT applications☆41Updated 2 years ago
- The QuarkTS port for C++. An open-source OS for embedded applications that supports prioritized cooperative scheduling, time control, int…☆32Updated 4 months ago
- newlib OpenRISC development☆26Updated 2 months ago
- Mirror of git.qemu.org/ipxe.git☆18Updated 3 months ago
- Apache NuttX RTOS for Pine64 Star64 64-bit RISC-V SBC (StarFive JH7110)☆27Updated this week
- Yocto project for Xuantie RISC-V CPU☆39Updated last month
- framework for a simple user space for lk☆23Updated 3 years ago
- Yocto/OE metadata for the external sourcery g++ toolchain☆26Updated last year
- This is the source of the seL4 docs.☆16Updated this week
- Mirror of git://qemu.org/capstone.git☆10Updated 2 months ago
- littlefs module for Zephyr, not a mirror of the official littlefs repository☆19Updated last month
- Linux Kernel configuration tools - Windows Port☆21Updated 11 years ago
- CMSIS Compiler support for Arm Compiler☆29Updated this week
- Userland apps for Tock written in C and C++☆84Updated this week
- awtk port for sylixos☆13Updated 5 years ago
- Virtual machine monitor for L4Re☆31Updated this week
- Firmware for the Jamine OpenSSD platform☆50Updated 3 years ago
- linux-4.14.xxx for Phytium soc family, the ft2000plus chipset☆11Updated 5 years ago
- open-amp module for zephyr, this is not an official mirror of the open-amp repo☆10Updated last week
- user applications for rt-smart☆27Updated 6 months ago
- The libmetal module specific for use with Zephyr. This is not a mirror of the official libmetal repo.☆13Updated last week