Alternatives and similar repositories for mini-arm-os

Users that are interested in mini-arm-os are comparing it to the libraries listed below

• jserv / amacc
  Small C Compiler generating ELF executable Arm architecture, supporting JIT execution
  ☆1,038Updated 5 months ago
• f9micro / f9-kernel
  An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4
  ☆692Updated 5 years ago
• jserv / MazuCC
  A minimalist C compiler with x86_64 code generation
  ☆529Updated 4 years ago
• embedded2015 / mini-arm-os
  Build a minimal multi-tasking OS kernel for ARM Cortex-M series from scratch
  ☆201Updated 7 years ago
• sysprog21 / shecc
  A self-hosting and educational C optimizing compiler
  ☆1,231Updated last week
• cccriscv / mini-riscv-os
  Build a minimal multi-tasking OS kernel for RISC-V from scratch
  ☆448Updated 2 years ago
• PikoRT / pikoRT
  A tiny Linux-like real-time kernel optimized for ARM Cortex-M chips
  ☆316Updated last year
• jsandler18 / raspi-kernel
  ☆305Updated 5 years ago
• sysprog21 / rv32emu
  Compact and Efficient RISC-V RV32I[MAFC] emulator
  ☆481Updated last week
• sysprog21 / lab0-c
  C Programming Lab: Assessing Your C Programming Skills
  ☆459Updated 3 weeks ago
• maxdev1 / ghost
  Ghost, a micro-kernel based hobby operating system.
  ☆632Updated last month
• bztsrc / raspi3-tutorial
  Bare metal Raspberry Pi 3 tutorials
  ☆2,865Updated 11 months ago
• alexfru / SmallerC
  Simple C compiler
  ☆1,492Updated 5 months ago
• rswier / swieros
  A tiny hand crafted CPU emulator, C compiler, and Operating System
  ☆1,096Updated 4 years ago
• pykello / arunos
  A simple operating system for ARM processors
  ☆128Updated 5 years ago
• sysprog21 / concurrent-programs
  Complementary Concurrency Programs for course "Linux Kernel Internals"
  ☆394Updated last month
• BrianSidebotham / arm-tutorial-rpi
  Raspberry-Pi Bare Metal Programming in C Tutorial
  ☆599Updated 4 years ago
• umanovskis / baremetal-arm
  An ebook about bare-metal programming for ARM
  ☆733Updated 4 years ago
• rockytriton / LLD
  ☆166Updated 2 years ago
• Chadderz121 / bakingpi-www
  Website for Baking Pi: Operating Systems Development tutorial (Raspberry Pi)
  ☆414Updated 3 years ago
• ReturnInfinity / BareMetal
  A very minimal, resource efficient exo-kernel
  ☆733Updated this week
• pdoane / osdev
  Hobby OS project for learning more about low-level hardware (GPUs, networking, USB)
  ☆218Updated 6 years ago
• jserv / kernel-in-kernel
  Develop your own OS kernel by reusing Linux infrastructure
  ☆172Updated 9 years ago
• LdB-ECM / Raspberry-Pi
  My public Baremetal Raspberry Pi code
  ☆319Updated 6 years ago
• szhou42 / osdev
  Hobby os project with GUI
  ☆418Updated last year
• dthain / basekernel
  A simple OS kernel for research, teaching, and fun.
  ☆844Updated last year
• pritamzope / OS
  Writing & Making Operating System and Kernel parts so simple like Hello World Programs, Starting from writing Bootloaders, Hello World Ke…
  ☆768Updated 8 months ago
• sysprog21 / simplefs
  A simple native file system for Linux kernel
  ☆415Updated last week
• vvaltchev / tilck
  A Tiny Linux-Compatible Kernel
  ☆2,455Updated 3 months ago
• HelenOS / helenos
  A portable microkernel-based multiserver operating system written from scratch.
  ☆1,466Updated 3 weeks ago