Alternatives and similar repositories for hands-on-booting

Users that are interested in hands-on-booting are comparing it to the libraries listed below

• Apress / modern-arm-assembly-language-programming
  Source Code for 'Modern Arm Assembly Language Programming' by Daniel Kusswurm
  ☆91Updated 3 years ago
• unikraft / lib-musl
  musl: A C standard library
  ☆13Updated last month
• seL4 / camkes-vm-examples
  ☆17Updated last month
• au-ts / libvmm
  A virtual machine monitor for the seL4 microkernel
  ☆43Updated this week
• riscvarchive / riscv-edk2
  Port of EDK2 implementation of UEFI to RISC-V. See documentation at:
  ☆24Updated 3 years ago
• imclerran / MTX-OS
  A UNIX/Linux like operating system based on K.C. Wang's MTX
  ☆10Updated 9 years ago
• smwikipedia / EmbeddedAndRTOSSamples
  Sample Code for Embedded and Real-Time Operating Systems by K. C. Wang
  ☆24Updated 5 months ago
• PacktPublishing / Linux-Kernel-Debugging
  Linux Kernel Debugging, published by Packt
  ☆180Updated last year
• openhwgroup / cv32e40x-dv
  CV32E40X Design-Verification environment
  ☆13Updated last year
• chaiken / irq-tracing
  Example code for tracing IRQs in Linux kernel
  ☆12Updated 8 years ago
• riscvarchive / riscv-edk2-platforms
  Port of EDK2 implementation of UEFI to RISC-V. See documentation at:
  ☆18Updated 3 years ago
• rprata / linux-device-driver-tutorial
  This tutorial discusses technical issues to develop your own linux device driver. The aim of this tutorial is to provide, easy and practi…
  ☆42Updated 4 years ago
• eliben / c-unleashed-book-souce-code
  Source code for the "C Unleashed" book by Richard Heathfield, Lawrence Kirby, et al.
  ☆75Updated 4 years ago
• intel / device-modeling-language
  ☆103Updated last week
• Fedex100 / awesome-compilers
  ☆16Updated 8 years ago
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆16Updated 3 years ago
• rostedt / shelf
  A Shell to parse ELF files
  ☆19Updated 2 years ago
• unikraft / run-app-elfloader
  Run Unikraft ELF Loader app on Linux executables
  ☆15Updated last year
• DustParticle / SsdSim
  ☆10Updated 4 years ago
• Apress / beginning-x64-assembly-programming
  Source Code for 'Beginning x64 Assembly Programming' by Jo Van Hoey
  ☆200Updated 3 years ago
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆46Updated this week
• Xilinx / qemu-devicetrees
  Device trees used by QEMU to describe the hardware
  ☆51Updated last month
• lucypa / sDDF
  seL4 Device Driver Framework
  ☆21Updated last year
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆50Updated 2 months ago
• PacktPublishing / Linux-Kernel-Programming-Part-2
  Linux Kernel Programming (Part 2), published by Packt
  ☆133Updated this week
• weirdindiankid / cacheflow
  CacheFlow is a Linux kernel module that exposes the contents of the last-level cache on *most* ARM machines.
  ☆17Updated last year
• gurugio / caos
  Calcium OS project for x86_64
  ☆40Updated 7 years ago
• UCanLinux / riscv64-sample
  Building a busybox based RiscV 64-bit GNU/Linux system from scratch
  ☆52Updated 6 years ago
• cross-lfs / cross-lfs
  Cross-LFS Book
  ☆22Updated 5 years ago
• seL4 / camkes-vm
  Virtual Machine built as a CAmkES component.
  ☆24Updated last month