Alternatives and similar repositories for k-hypervisor

Users that are interested in k-hypervisor are comparing it to the libraries listed below

• tzvisor / ltzvisor
  LTZVisor: a Lightweight TrustZone-assisted Hypervisor
  ☆80Updated 7 years ago
• avatarone / avatar-gdbstub
  GDB stub that allows debugging of embedded devices
  ☆33Updated 9 years ago
• kesl / khypervisor
  ☆29Updated 9 years ago
• ashwio / arm64-hypervisor-tutorial
  ☆106Updated 6 years ago
• krinkinmu / aarch64
  Sources for the AARCH64 experiments for posts on https://krinkinmu.github.io/
  ☆30Updated 2 years ago
• hcyang1012 / ARM_Hypervisor
  ☆19Updated 9 years ago
• prtos-project / prtos-hypervisor
  PRTOS Hypervisor is a lightweight, open-source embedded hypervisor
  ☆66Updated last month
• avpatel / xvisor-next
  Xvisor: eXtensible Versatile hypervISOR
  ☆88Updated last month
• erincandescent / elfload
  An ELF loader for embedded systems.
  ☆151Updated 7 years ago
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆48Updated this week
• martinribelotta / elfloader
  ARMv7M ELF loader
  ☆101Updated last year
• calinyara / avisor
  aVisor: A Tiny Hypervisor for Raspberry Pi
  ☆34Updated last year
• turboscrew / rpi_stub
  Standalone gdb-stub for RPi 2
  ☆28Updated 9 years ago
• freedomtan / aarch64-bare-metal-qemu
  aarch64 bare metal test on qemu
  ☆98Updated 10 years ago
• embedded2014 / elf-loader
  Simplified ELF loader for ARM Cortex-M4 based platform
  ☆83Updated 10 years ago
• yannik520 / YakOS
  An embedded operating system kernel
  ☆15Updated 7 years ago
• yifanlu / ARMv7_MMU_Dumper
  Bare metal ARMv7 MMU Translation Table dumper
  ☆19Updated 10 years ago
• kernkonzept / libfdt
  The device tree library
  ☆17Updated 5 months ago
• edgarigl / qemu-etrace
  Qemu Etrace
  ☆14Updated last year
• digetx / tegra2_qemu
  Tegra2 emulation
  ☆23Updated 3 years ago
• finallyjustice / armvisor
  Sample code for ARM hardware virtualization
  ☆10Updated 10 years ago
• uvc-ingenieure / kconfig-frontends
  Linux Kernel configuration tools - Windows Port
  ☆21Updated 11 years ago
• dwelch67 / qemu_arm_samples
  bare metal ARM examples to be run with qemu-system-arm
  ☆72Updated 6 years ago
• HawxChen / Linux-Kernel-Driver-Programming
  Implementation of PCI drivers, kprobe, sysfs, devfs, sensor driver, miscdevices, synchronization
  ☆54Updated 8 years ago
• projectacrn / acrn-kernel
  Kernel tree for ACRN
  ☆97Updated 3 months ago
• intel / kernelflinger
  ☆69Updated last year
• ashwio / arm64-pgtable-tool
  Tool for automatically generating MMU and translation table setup code, whether to drag and drop into your own bare metal arm64 projects …
  ☆66Updated 3 years ago
• ashwio / arm64-sysreg-lib
  Header-only C library for reading/writing 64-bit Arm registers, automatically generated by parsing the AArch64 System Register XML.
  ☆30Updated 4 years ago
• RinHizakura / mini-gdbstub
  An implementation of the GDB Remote Serial Protocol to help you adding debug mode on emulator
  ☆70Updated 3 weeks ago
• markic / linker-and-loader
  Linker and loader for elf relocatable files. Developed in C for ARM architecture.
  ☆30Updated last year