Alternatives and similar repositories for qemu-plan9:

Users that are interested in qemu-plan9 are comparing it to the libraries listed below

• SikkiLadho / ARM64Hypervisor
  Tutorial: Writing a "bare metal" ARM64 (AARCH64) Hypervisor for Raspberry Pi 4.
  ☆16Updated 2 years ago
• wkz / kmemd
  Explore a live Linux kernel's memory using GDB
  ☆114Updated 2 years ago
• ptesarik / libkdumpfile
  Kernel coredump file access
  ☆27Updated 3 months ago
• Lenz-K / arm64-kvm-hello-world
  A bare metal AArch64 hello-world program, that is run in a KVM AArch64 VM.
  ☆28Updated last year
• tpiekarski / lkm-sandbox
  Collection of Linux Kernel Modules and PoC to discover, learn and practice Linux Kernel Development
  ☆51Updated 4 years ago
• sysprog21 / vinput
  A collection of virtual input device drivers for Linux
  ☆34Updated 3 years ago
• popovicu / linux-no-mmu-userspace-example
  ☆41Updated last year
• metebalci / baremetal-rpi
  bare metal programming with Raspberry Pi
  ☆29Updated 5 years ago
• SikkiLadho / Leo
  Leo Hypervisor. ARM64 Hypervisor on Raspberry Pi 4 machine.
  ☆34Updated 2 years ago
• lupyuen / nuttx-star64
  Apache NuttX RTOS for Pine64 Star64 64-bit RISC-V SBC (StarFive JH7110)
  ☆26Updated this week
• jinb-park / rcu_example
  rcu example of linux kernel. tag : rcu, list rcu, linux kernel rcu, kernel rcu, read copy update, rcu example
  ☆34Updated 2 years ago
• rhythm16 / rpi4-bare-metal
  an operating system for the Raspberry Pi 4B in the making
  ☆57Updated last year
• rostedt / libccli
  This is a simple CLI interface helper library for C.
  ☆46Updated last year
• qualcomm / eld
  Embedded Linker
  ☆154Updated this week
• sifiveinc / meta-sifive
  SiFive OpenEmbedded / Yocto BSP Layer
  ☆52Updated last week
• sonicyang / KML
  Kernel-Mode-Linux
  ☆24Updated 2 years ago
• krinkinmu / aarch64
  Sources for the AARCH64 experiments for posts on https://krinkinmu.github.io/
  ☆30Updated 2 years ago
• sartura / ebpf-hello-world
  ☆31Updated 2 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…
  ☆39Updated 3 years ago
• nccgroup / rustproofing-linux
  ☆23Updated 2 years ago
• TunaCici / QEMU_Starter
  Pseudo-wiki; offering guides, tutorials, and examples for new QEMU users.
  ☆84Updated last year
• RinHizakura / kmemsnoop
  Install a hardware breakpoint in Linux kernel for tracing/debugging
  ☆22Updated last week
• dwmkerr / linux-kernel-module
  A simple Linux Kernel Module, written as a learning exercise.
  ☆35Updated last year
• michaelengel / xv6-d1
  Port of MIT's xv6 OS to the Nezha RISC-V board with Allwinner D1 SoC
  ☆104Updated 2 years ago
• strawberryhacker / fat32
  Minimal FAT32 file system implementation
  ☆74Updated 3 weeks ago
• sysprog21 / neocon
  A simple serial console utility
  ☆16Updated last year
• yahiafarghaly / PrettyOS
  A Preemptive Hard Real Time kernel for embedded devices.
  ☆51Updated 4 years ago
• kees / kernel-tools
  Tools for doing upstream Linux kernel development, patch wrangling, builds, and testing
  ☆53Updated this week
• kaiwan / seals
  Simple Embedded ARM Linux System
  ☆67Updated last month
• seL4 / util_libs
  ☆59Updated 3 weeks ago