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,041Updated 2 months ago
• f9micro / f9-kernel
  An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4
  ☆701Updated 5 years ago
• embedded2015 / mini-arm-os
  Build a minimal multi-tasking OS kernel for ARM Cortex-M series from scratch
  ☆202Updated 8 years ago
• jsandler18 / raspi-kernel
  ☆307Updated 6 years ago
• dthain / basekernel
  A simple OS kernel for research, teaching, and fun.
  ☆873Updated last year
• umanovskis / baremetal-arm
  An ebook about bare-metal programming for ARM
  ☆776Updated 4 years ago
• sysprog21 / shecc
  A self-hosting and educational C optimizing compiler
  ☆1,319Updated last week
• PikoRT / pikoRT
  A tiny Linux-like real-time kernel optimized for ARM Cortex-M chips
  ☆318Updated last year
• jserv / MazuCC
  A minimalist C compiler with x86_64 code generation
  ☆531Updated 5 years ago
• DavidSpickett / BadgerKernel
  Multitasking kernel for Arm/Thumb/AArch64 targets.
  ☆49Updated 3 years ago
• cccriscv / mini-riscv-os
  Build a minimal multi-tasking OS kernel for RISC-V from scratch
  ☆475Updated 2 years ago
• sysprog21 / lab0-c
  C Programming Lab: Assessing Your C Programming Skills
  ☆474Updated last month
• ReturnInfinity / BareMetal
  A very minimal, resource efficient exo-kernel
  ☆793Updated this week
• BrianSidebotham / arm-tutorial-rpi
  Raspberry-Pi Bare Metal Programming in C Tutorial
  ☆607Updated 4 years ago
• sysprog21 / rv32emu
  Compact and Efficient RISC-V RV32I[MAFC] emulator
  ☆505Updated last week
• QMonkey / OOC-Design-Pattern
  Design Pattern by Object-Oriented-C
  ☆203Updated 9 years ago
• sysprog21 / concurrent-programs
  Complementary Concurrency Programs for course "Linux Kernel Internals"
  ☆409Updated 5 months ago
• jserv / kernel-in-kernel
  Develop your own OS kernel by reusing Linux infrastructure
  ☆175Updated 10 years ago
• bztsrc / raspi3-tutorial
  Bare metal Raspberry Pi 3 tutorials
  ☆2,933Updated last year
• xinu-os / xinu
  Repository for Xinu source code
  ☆445Updated last year
• LdB-ECM / Raspberry-Pi
  My public Baremetal Raspberry Pi code
  ☆325Updated 6 years ago
• pykello / arunos
  A simple operating system for ARM processors
  ☆134Updated 5 years ago
• szhou42 / osdev
  Hobby os project with GUI
  ☆435Updated 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,…
  ☆515Updated 6 months ago
• rockytriton / LLD
  ☆174Updated 2 years ago
• bravegnu / gnu-eprog
  Embedded Programming with the GNU Toolchain
  ☆311Updated 6 years ago
• jserv / armv8-hello
  Hello World for bare metal ARMv8 using QEMU
  ☆61Updated 9 years ago
• nibblebits / PeachOS
  Simple kernel designed for a online course
  ☆174Updated last week
• sysprog21 / semu
  A minimalist RISC-V system emulator capable of running Linux kernel
  ☆276Updated 3 weeks ago
• Chadderz121 / bakingpi-www
  Website for Baking Pi: Operating Systems Development tutorial (Raspberry Pi)
  ☆416Updated 3 years ago