Alternatives and similar repositories for mOS:

Users that are interested in mOS are comparing it to the libraries listed below

• RIKEN-SysSoft / mckernel
  McKernel
  ☆114Updated 7 months ago
• intel / intel-sdsi
  ☆48Updated 3 months ago
• open-power / docs
  Documentation for OpenPOWER Firmware
  ☆72Updated last year
• open-power / skiboot
  OPAL boot and runtime firmware for POWER
  ☆104Updated 2 weeks ago
• ssrg-vt / popcorn-compiler
  Popcorn Linux compiler toolchain for heterogeneous-ISA execution
  ☆43Updated 10 months ago
• kernkonzept / l4re-core
  The core components of the L4Re operating system.
  ☆82Updated 2 weeks ago
• TUD-OS / M3
  Microkernel-based system for heterogeneous manycores
  ☆107Updated 4 years ago
• riscvarchive / riscv-musl
  musl libc for RISC-V
  ☆82Updated 5 years ago
• davidmalcolm / gcc-newbies-guide
  An unofficial guide to contributing to GCC, aimed at newbies
  ☆113Updated 4 months ago
• jserv / codezero
  Codezero Microkernel
  ☆107Updated 3 years ago
• lkvm / lkvm
  Native Linux KVM Tool
  ☆47Updated 9 years ago
• seL4 / seL4_libs
  No-assurance libraries for rapid-prototyping of seL4 apps.
  ☆52Updated 2 weeks ago
• kernkonzept / fiasco
  The development version of the L4Re Microkernel
  ☆113Updated 2 weeks ago
• hermit-os / libhermit
  HermitCore: A C-based, lightweight unikernel
  ☆224Updated 3 years ago
• rustyrussell / virtio-spec
  Virtio draft specification
  ☆65Updated 11 years ago
• ARM-software / progress64
  PROGRESS64 is a C library of scalable functions for concurrent programs, primarily focused on networking applications.
  ☆80Updated last week
• elftoolchain / elftoolchain
  The ELF Tool Chain Project (mirror of SourceForge.Net). Please do not create pull requests here on Github, Please use SourceForge's tick…
  ☆69Updated last year
• CTSRD-CHERI / cheribsd
  FreeBSD adapted for CHERI-RISC-V and Arm Morello.
  ☆173Updated this week
• Linaro / uadk
  UADK (User space Accelerator Development Kit), is a user space framework for using accelerators. Active branch is 'master'.
  ☆45Updated last month
• nutanix / libvfio-user
  framework for emulating devices in userspace
  ☆172Updated 6 months ago
• antonblanchard / will-it-scale
  ☆71Updated last year
• LLNL / msr-safe
  Allows safer access to model specific registers (MSRs)
  ☆92Updated 3 months ago
• zfs-fuse / zfs-fuse
  (mirror of) the official zfs-fuse code repository
  ☆20Updated 2 years ago
• RIKEN-SysSoft / PiP
  Process-in-Process
  ☆17Updated 3 years ago
• hckuo2 / Lupine-Linux
  Linux in Unikernel Clothing
  ☆70Updated 3 years ago
• waltligon / orangefs
  Official repository for PVFS/OrangeFS
  ☆65Updated 3 months ago
• open-power / hostboot
  System initialization firmware for Power systems
  ☆76Updated last week
• ajakubek / core-latency
  A simple benchmark which measures latency between CPU cores.
  ☆39Updated 7 years ago
• unikernelLinux / ukl
  Unikernel Linux
  ☆186Updated 2 months ago
• qemu / u-boot
  Mirror of gitlab.com/qemu-project/u-boot.git
  ☆60Updated this week