Alternatives and similar repositories for sparrow-kernel:

Users that are interested in sparrow-kernel are comparing it to the libraries listed below

• MentorEmbedded / meta-sourcery
  Yocto/OE metadata for the external sourcery g++ toolchain
  ☆27Updated last year
• projectacrn / acrn-unit-test
  Unit test for ACRN, including unit test cases for hypervisor and device model.
  ☆12Updated 2 years ago
• tock / tock-bootloader
  Software bootloader for boards running Tock.
  ☆24Updated last year
• second-state / wasmedge-seL4
  Integrate WasmEdge with seL4
  ☆43Updated 2 years ago
• openrisc / newlib
  newlib OpenRISC development
  ☆25Updated 3 years ago
• seL4 / camkes-tool
  The main CAmkES tool
  ☆29Updated this week
• phoenix-rtos / phoenix-rtos-devices
  Phoenix-RTOS device drivers repository
  ☆20Updated this week
• devicetree-org / devicetree-source
  DTS files
  ☆34Updated 4 years ago
• zephyrproject-rtos / libmetal
  The libmetal module specific for use with Zephyr. This is not a mirror of the official libmetal repo.
  ☆12Updated 3 months ago
• RTOS-From-Scratch / RTOS-From-Scratch
  Real time operating system made with love ♥.
  ☆26Updated 7 years ago
• RIOT-OS / applications
  Some useful RIOT applications
  ☆41Updated 2 years ago
• projectceladon / libpciaccess
  ☆8Updated 6 months ago
• qemu / ipxe
  Mirror of git.qemu.org/ipxe.git
  ☆17Updated this week
• starfive-tech / VisionFive
  ☆95Updated 2 years ago
• SEL4PROJ / AOS
  Advanced Operating Systems project
  ☆20Updated 6 months ago
• RT-Thread / userapps
  user applications for rt-smart
  ☆27Updated 2 months ago
• zephyrproject-rtos / littlefs
  littlefs module for Zephyr, not a mirror of the official littlefs repository
  ☆16Updated last month
• seL4 / sel4bench
  sel4 benchmarking applications and support library.
  ☆19Updated this week
• RealTimeLogic / SMQ
  SMQ is an easy to use IoT pub/sub protocol designed and optimized for embedded systems
  ☆37Updated 11 months ago
• qemu / capstone
  Mirror of git://qemu.org/capstone.git
  ☆10Updated this week
• wkz / mdio-tools
  Low-level debug tools for MDIO devices.
  ☆75Updated 3 months ago
• andestech / nds-gnu-toolchain
  GNU toolchain for AndesCore
  ☆22Updated 7 months ago
• tock / libtock-c
  Userland apps for Tock written in C and C++
  ☆82Updated this week
• clrkwllms / rt-linux
  The Realtime Linux tree
  ☆45Updated 6 years ago
• openwrt / ubus
  [MIRROR] OpenWrt system message/RPC bus
  ☆20Updated 2 months ago
• seL4 / docs
  This is the source of the seL4 docs.
  ☆16Updated this week
• thesofproject / sof-docs
  Documentation for SOF
  ☆22Updated this week
• devicetree-org / lopper
  ☆37Updated this week
• antoinevg / hello-d1
  Bare-metal Rust explorations of the Allwinner D1
  ☆15Updated 2 years ago
• XUANTIE-RV / xuantie-yocto
  Yocto project for Xuantie RISC-V CPU
  ☆38Updated 2 months ago