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 6 months ago
• f9micro / f9-kernel
  An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4
  ☆693Updated 5 years ago
• embedded2015 / mini-arm-os
  Build a minimal multi-tasking OS kernel for ARM Cortex-M series from scratch
  ☆204Updated 7 years ago
• dthain / basekernel
  A simple OS kernel for research, teaching, and fun.
  ☆858Updated last year
• sysprog21 / shecc
  A self-hosting and educational C optimizing compiler
  ☆1,246Updated last month
• PikoRT / pikoRT
  A tiny Linux-like real-time kernel optimized for ARM Cortex-M chips
  ☆316Updated last year
• sysprog21 / lab0-c
  C Programming Lab: Assessing Your C Programming Skills
  ☆464Updated last week
• jsandler18 / raspi-kernel
  ☆307Updated 5 years ago
• cccriscv / mini-riscv-os
  Build a minimal multi-tasking OS kernel for RISC-V from scratch
  ☆453Updated 2 years ago
• BrianSidebotham / arm-tutorial-rpi
  Raspberry-Pi Bare Metal Programming in C Tutorial
  ☆605Updated 4 years ago
• umanovskis / baremetal-arm
  An ebook about bare-metal programming for ARM
  ☆744Updated 4 years ago
• pykello / arunos
  A simple operating system for ARM processors
  ☆130Updated 5 years ago
• sysprog21 / concurrent-programs
  Complementary Concurrency Programs for course "Linux Kernel Internals"
  ☆401Updated 2 months ago
• DavidSpickett / BadgerKernel
  Multitasking kernel for Arm/Thumb/AArch64 targets.
  ☆49Updated 3 years ago
• jserv / MazuCC
  A minimalist C compiler with x86_64 code generation
  ☆529Updated 4 years ago
• sysprog21 / rv32emu
  Compact and Efficient RISC-V RV32I[MAFC] emulator
  ☆489Updated 3 weeks ago
• ReturnInfinity / BareMetal
  A very minimal, resource efficient exo-kernel
  ☆753Updated this week
• bztsrc / raspi3-tutorial
  Bare metal Raspberry Pi 3 tutorials
  ☆2,889Updated last year
• rockytriton / LLD
  ☆167Updated 2 years ago
• QMonkey / OOC-Design-Pattern
  Design Pattern by Object-Oriented-C
  ☆199Updated 9 years ago
• jserv / kernel-in-kernel
  Develop your own OS kernel by reusing Linux infrastructure
  ☆173Updated 10 years ago
• HelenOS / helenos
  A portable microkernel-based multiserver operating system written from scratch.
  ☆1,479Updated 3 weeks ago
• sysprog21 / vwifi
  A virtual wireless device driver for Linux
  ☆230Updated 2 weeks ago
• maxdev1 / ghost
  Ghost, a micro-kernel based hobby operating system.
  ☆638Updated 2 months ago
• jserv / armv8-hello
  Hello World for bare metal ARMv8 using QEMU
  ☆57Updated 9 years ago
• szhou42 / osdev
  Hobby os project with GUI
  ☆425Updated last year
• sysprog21 / simplefs
  A simple native file system for Linux kernel
  ☆421Updated last month
• Chadderz121 / bakingpi-www
  Website for Baking Pi: Operating Systems Development tutorial (Raspberry Pi)
  ☆416Updated 3 years ago
• tina0405 / raspberry-pi3-mini-os
  ☆25Updated 5 years ago
• sysprog21 / semu
  A minimalist RISC-V system emulator capable of running Linux kernel
  ☆262Updated last week