Alternatives and similar repositories for linux-micro-distro

Users that are interested in linux-micro-distro are comparing it to the libraries listed below

• popovicu / linux-no-mmu-userspace-example
  ☆45Updated 2 years ago
• riscv-non-isa / riscv-server-platform
  The RISC-V Server Platform specification defines a standardized set of hardware and sofware capabilities, that portable system software, …
  ☆22Updated 3 weeks ago
• riscv-non-isa / riscv-brs
  The Boot and Runtime Services (BRS) specification provides the software requirements for system vendors and Operating System Vendors (OSV…
  ☆58Updated last month
• starfive-tech / u-boot
  ☆50Updated 3 months ago
• rtfb / riscv-hobby-os
  ☆29Updated last year
• popovicu / risc-v-bare-metal-fake-bios
  Code for the "fake BIOS" RISC-V example
  ☆43Updated 2 years ago
• sifiveinc / meta-sifive
  SiFive OpenEmbedded / Yocto BSP Layer
  ☆54Updated last week
• starfive-tech / opensbi
  ☆18Updated 3 months ago
• milkv-pioneer / pioneer-files
  Hardware information
  ☆37Updated last year
• westerndigitalcorporation / RISC-V-Linux
  This repository provides a Linux kernel bootable on RISC-V boards from SiFive
  ☆170Updated 5 years ago
• popovicu / bare-metal-cstdlib
  ☆18Updated 4 months ago
• starfive-tech / Fedora_on_StarFive
  ☆63Updated 2 years ago
• mirimmad / riscv
  RISC-V(RV32IM) emulator with support for syscalls.
  ☆30Updated 2 years ago
• au-ts / lionsos
  A secure, fast, and adaptable OS based on the seL4 microkernel
  ☆211Updated this week
• intel / intel-sdsi
  ☆48Updated 2 months ago
• sjp38 / hackermail
  Hackers' mails management tool
  ☆49Updated last week
• popovicu / zig-time-sharing-kernel
  Minimal implementation of a time-sharing kernel on RISC-V, implemented in Zig, on top of OpenSBI
  ☆202Updated 4 months ago
• ipacman / xv6-riscv
  Xv6 ports for RISC-V
  ☆15Updated last year
• starfive-tech / edk2
  ☆24Updated last year
• esmil / riscv-linux
  Getting started running RISC-V Linux
  ☆18Updated 4 years ago
• lupyuen / nuttx-star64
  Apache NuttX RTOS for Pine64 Star64 64-bit RISC-V SBC (StarFive JH7110)
  ☆32Updated this week
• fwsGonzo / bigassm
  Assemble 128-bit RISC-V
  ☆46Updated 2 years ago
• starfive-tech / linux
  ☆163Updated 3 months ago
• openhwgroup / corev-gcc
  ☆26Updated last year
• jarrocha / XinuBBB
  Source and guide to run Xinu on the BeagleBone Black
  ☆51Updated 3 years ago
• fernandotcl / TinyEMU
  Tweaks to Fabrice Bellard's TinyEMU
  ☆147Updated 2 years ago
• johnwinans / riscv-toolchain-install-guide
  How to download & install qemu a toolchain suitable for building and running freestanding RISC-V C/C++ programs
  ☆59Updated last year
• 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…
  ☆21Updated this week
• luizinhosuraty / pciemu
  PCIe Device Emulation in QEMU
  ☆88Updated 2 years ago
• jborza / emuriscv
  RISC-V emulator in C
  ☆33Updated 4 years ago