AmbiML / sparrow-kernel

Related projects ⓘ

Alternatives and complementary repositories for sparrow-kernel

• devicetree-org / devicetree-source
  DTS files
  ☆31Updated 4 years ago
• second-state / wasmedge-seL4
  Integrate WasmEdge with seL4
  ☆44Updated 2 years ago
• sifive / freedom-devicetree-tools
  A linker script generator for SiFive's Freedom platform
  ☆32Updated 2 years ago
• tock / tock-bootloader
  Software bootloader for boards running Tock.
  ☆23Updated 9 months ago
• afbjorklund / minimal-buildroot
  Minimal buildroot for amd64 and arm64
  ☆13Updated last year
• kmilo17pet / QuarkTS-cpp
  The QuarkTS port for C++. An open-source OS for embedded applications that supports prioritized cooperative scheduling, time control, int…
  ☆26Updated last week
• tock / libtock-c
  Userland apps for Tock written in C and C++
  ☆82Updated this week
• yannik520 / YakOS
  An embedded operating system kernel
  ☆15Updated 7 years ago
• sigrokproject / sigrok-dumps
  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
• clrkwllms / rt-linux
  The Realtime Linux tree
  ☆44Updated 6 years ago
• XUANTIE-RV / xuantie-yocto
  Yocto project for Xuantie RISC-V CPU
  ☆37Updated 4 months ago
• starfive-tech / opensbi
  ☆17Updated last month
• SEL4PROJ / AOS
  Advanced Operating Systems project
  ☆19Updated 2 months ago
• riscv-admin / riscv-landscape
  🌄 RISC-V Ecosystem Landscape: a living document that developers, investors, vendors, researchers and others can use as a resource on the…
  ☆14Updated this week
• openrisc / newlib
  newlib OpenRISC development
  ☆24Updated 2 years ago
• tock / tockloader
  Tool for programming Tock onto hardware boards.
  ☆42Updated last month
• RIOT-OS / applications
  Some useful RIOT applications
  ☆41Updated 2 years ago
• riscv-mcu / riscv-gnu-toolchain
  GNU toolchain for RISC-V, including GCC. Tweaked for microcontrollers.
  ☆25Updated 4 months ago
• RealTimeLogic / SMQ
  SMQ is an easy to use IoT pub/sub protocol designed and optimized for embedded systems
  ☆36Updated 7 months ago
• antoinevg / hello-d1
  Bare-metal Rust explorations of the Allwinner D1
  ☆15Updated 2 years ago
• BabbleSim / base
  BabbleSim base/common components. Any BabbleSim user will want some of these.
  ☆13Updated 2 weeks ago
• mdepx / mdepx
  MDX — A BSD-style RTOS
  ☆26Updated last month
• seL4 / camkes-tool
  The main CAmkES tool
  ☆29Updated 4 months ago
• tonyrog / uart
  serial com api
  ☆38Updated 3 years ago
• riscv-non-isa / riscv-device-tree-doc
  RISC-V Specific Device Tree Documentation
  ☆41Updated 4 months ago
• zhoukejun / linux-4.14.xxx-phytium-soc-ft2000plus
  linux-4.14.xxx for Phytium soc family, the ft2000plus chipset
  ☆10Updated 5 years ago
• Gandi / bridge-utils
  Linux bridge utils (obsolete and unmaintained)
  ☆30Updated 5 years ago
• XianBeiTuoBaFeng2015 / MySlides
  My Slides
  ☆14Updated 10 months ago
• openhwgroup / core-v-sw
  Main Repo for the OpenHW Group Software Task Group
  ☆15Updated this week
• chaiken / LCA2018-Demo-Code
  Demo code for linux.conf.au "Linux: the first second" presentation
  ☆31Updated 6 years ago