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
• f9micro / f9-kernel
  An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4
  ☆698Updated 5 years ago
• dthain / basekernel
  A simple OS kernel for research, teaching, and fun.
  ☆871Updated last year
• jsandler18 / raspi-kernel
  ☆307Updated 6 years ago
• embedded2015 / mini-arm-os
  Build a minimal multi-tasking OS kernel for ARM Cortex-M series from scratch
  ☆204Updated 8 years ago
• sysprog21 / shecc
  A self-hosting and educational C optimizing compiler
  ☆1,307Updated 3 weeks ago
• sysprog21 / lab0-c
  C Programming Lab: Assessing Your C Programming Skills
  ☆472Updated 2 weeks ago
• PikoRT / pikoRT
  A tiny Linux-like real-time kernel optimized for ARM Cortex-M chips
  ☆319Updated last year
• umanovskis / baremetal-arm
  An ebook about bare-metal programming for ARM
  ☆774Updated 4 years ago
• pykello / arunos
  A simple operating system for ARM processors
  ☆133Updated 5 years ago
• jserv / MazuCC
  A minimalist C compiler with x86_64 code generation
  ☆531Updated 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
  ☆474Updated 2 years ago
• Chadderz121 / bakingpi-www
  Website for Baking Pi: Operating Systems Development tutorial (Raspberry Pi)
  ☆415Updated 3 years ago
• sysprog21 / concurrent-programs
  Complementary Concurrency Programs for course "Linux Kernel Internals"
  ☆409Updated 5 months ago
• xinu-os / xinu
  Repository for Xinu source code
  ☆445Updated last year
• tuhdo / sample-os
  A sample OS as demonstrated in the book Operating System: From 0 to 1
  ☆654Updated 8 years ago
• LdB-ECM / Raspberry-Pi
  My public Baremetal Raspberry Pi code
  ☆324Updated 6 years ago
• bztsrc / raspi3-tutorial
  Bare metal Raspberry Pi 3 tutorials
  ☆2,925Updated last year
• DavidSpickett / BadgerKernel
  Multitasking kernel for Arm/Thumb/AArch64 targets.
  ☆49Updated 3 years ago
• sysprog21 / rv32emu
  Compact and Efficient RISC-V RV32I[MAFC] emulator
  ☆504Updated this week
• jserv / armv8-hello
  Hello World for bare metal ARMv8 using QEMU
  ☆61Updated 9 years ago
• jserv / kernel-in-kernel
  Develop your own OS kernel by reusing Linux infrastructure
  ☆175Updated 10 years ago
• sysprog21 / simplefs
  A simple native file system for Linux kernel
  ☆437Updated 2 months ago
• ReturnInfinity / BareMetal
  A very minimal, resource efficient exo-kernel
  ☆783Updated this week
• sysprog21 / semu
  A minimalist RISC-V system emulator capable of running Linux kernel
  ☆270Updated 3 weeks ago
• maxdev1 / ghost
  Ghost, a micro-kernel based hobby operating system.
  ☆639Updated 5 months ago
• QMonkey / OOC-Design-Pattern
  Design Pattern by Object-Oriented-C
  ☆203Updated 9 years ago
• tenok-rtos / tenok
  A Linux-like real-time operating system for Robotics and the Internet of Things (IoT)
  ☆128Updated last year
• rockytriton / LLD
  ☆174Updated 2 years ago