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,045Updated last month
• sysprog21 / lab0-c
  C Programming Lab: Assessing Your C Programming Skills
  ☆471Updated 2 months ago
• f9micro / f9-kernel
  An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4
  ☆696Updated 5 years ago
• dthain / basekernel
  A simple OS kernel for research, teaching, and fun.
  ☆866Updated last year
• embedded2015 / mini-arm-os
  Build a minimal multi-tasking OS kernel for ARM Cortex-M series from scratch
  ☆204Updated 8 years ago
• jsandler18 / raspi-kernel
  ☆307Updated 5 years ago
• PikoRT / pikoRT
  A tiny Linux-like real-time kernel optimized for ARM Cortex-M chips
  ☆319Updated last year
• sysprog21 / shecc
  A self-hosting and educational C optimizing compiler
  ☆1,282Updated this week
• pykello / arunos
  A simple operating system for ARM processors
  ☆132Updated 5 years ago
• jserv / MazuCC
  A minimalist C compiler with x86_64 code generation
  ☆528Updated 4 years ago
• umanovskis / baremetal-arm
  An ebook about bare-metal programming for ARM
  ☆770Updated 4 years ago
• BrianSidebotham / arm-tutorial-rpi
  Raspberry-Pi Bare Metal Programming in C Tutorial
  ☆606Updated 4 years ago
• cccriscv / mini-riscv-os
  Build a minimal multi-tasking OS kernel for RISC-V from scratch
  ☆468Updated 2 years ago
• sysprog21 / rv32emu
  Compact and Efficient RISC-V RV32I[MAFC] emulator
  ☆500Updated this week
• ReturnInfinity / BareMetal
  A very minimal, resource efficient exo-kernel
  ☆770Updated this week
• sysprog21 / concurrent-programs
  Complementary Concurrency Programs for course "Linux Kernel Internals"
  ☆407Updated 4 months ago
• LdB-ECM / Raspberry-Pi
  My public Baremetal Raspberry Pi code
  ☆324Updated 6 years ago
• QMonkey / OOC-Design-Pattern
  Design Pattern by Object-Oriented-C
  ☆203Updated 9 years ago
• rockytriton / LLD
  ☆171Updated 2 years ago
• d0u9 / Linux-Device-Driver
  Advanced examples of Linux Device Drivers (LDD3) and detailed manual for running examples in QEMU which is patched with virtual PCI, USB,…
  ☆506Updated 5 months ago
• xinu-os / xinu
  Repository for Xinu source code
  ☆445Updated last year
• DavidSpickett / BadgerKernel
  Multitasking kernel for Arm/Thumb/AArch64 targets.
  ☆49Updated 3 years ago
• sysprog21 / semu
  A minimalist RISC-V system emulator capable of running Linux kernel
  ☆266Updated this week
• sysprog21 / simplefs
  A simple native file system for Linux kernel
  ☆434Updated last month
• jserv / armv8-hello
  Hello World for bare metal ARMv8 using QEMU
  ☆61Updated 9 years ago
• martinezjavier / ldd3
  Linux Device Drivers 3 examples updated to work in recent kernels
  ☆2,502Updated 4 months ago
• tuhdo / sample-os
  A sample OS as demonstrated in the book Operating System: From 0 to 1
  ☆654Updated 8 years ago
• bztsrc / raspi3-tutorial
  Bare metal Raspberry Pi 3 tutorials
  ☆2,917Updated last year
• huawenyu / Design-Patterns-in-C
  Practical design patterns in C
  ☆445Updated last year
• sysprog21 / vwifi
  A virtual wireless device driver for Linux
  ☆236Updated 2 months ago