AmbiML / sparrow-kernel
The seL4 microkernel
☆25Updated last year
Related projects ⓘ
Alternatives and complementary repositories for sparrow-kernel
- DTS files☆31Updated 4 years ago
- Integrate WasmEdge with seL4☆44Updated 2 years ago
- A linker script generator for SiFive's Freedom platform☆32Updated 2 years ago
- Software bootloader for boards running Tock.☆23Updated 9 months ago
- Minimal buildroot for amd64 and arm64☆13Updated last year
- The QuarkTS port for C++. An open-source OS for embedded applications that supports prioritized cooperative scheduling, time control, int…☆26Updated last week
- Userland apps for Tock written in C and C++☆82Updated this week
- An embedded operating system kernel☆15Updated 7 years ago
- Read-only mirror of the official repo at git://sigrok.org/sigrok-dumps. Pull requests welcome. Please file bugreports at sigrok.org/bugzi…☆16Updated last month
- The Realtime Linux tree☆44Updated 6 years ago
- Yocto project for Xuantie RISC-V CPU☆37Updated 4 months ago
- ☆17Updated last month
- Advanced Operating Systems project☆19Updated 2 months ago
- 🌄 RISC-V Ecosystem Landscape: a living document that developers, investors, vendors, researchers and others can use as a resource on the…☆14Updated this week
- newlib OpenRISC development☆24Updated 2 years ago
- Tool for programming Tock onto hardware boards.☆42Updated last month
- Some useful RIOT applications☆41Updated 2 years ago
- GNU toolchain for RISC-V, including GCC. Tweaked for microcontrollers.☆25Updated 4 months ago
- SMQ is an easy to use IoT pub/sub protocol designed and optimized for embedded systems☆36Updated 7 months ago
- Bare-metal Rust explorations of the Allwinner D1☆15Updated 2 years ago
- BabbleSim base/common components. Any BabbleSim user will want some of these.☆13Updated 2 weeks ago
- MDX — A BSD-style RTOS☆26Updated last month
- The main CAmkES tool☆29Updated 4 months ago
- serial com api☆38Updated 3 years ago
- RISC-V Specific Device Tree Documentation☆41Updated 4 months ago
- linux-4.14.xxx for Phytium soc family, the ft2000plus chipset☆10Updated 5 years ago
- Linux bridge utils (obsolete and unmaintained)☆30Updated 5 years ago
- My Slides☆14Updated 10 months ago
- Main Repo for the OpenHW Group Software Task Group☆15Updated this week
- Demo code for linux.conf.au "Linux: the first second" presentation☆31Updated 6 years ago