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 6 years ago
• avatarone / avatar-gdbstub
  GDB stub that allows debugging of embedded devices
  ☆32Updated 9 years ago
• hcyang1012 / ARM_Hypervisor
  ☆19Updated 9 years ago
• kesl / khypervisor
  ☆29Updated 9 years ago
• freedomtan / aarch64-bare-metal-qemu
  aarch64 bare metal test on qemu
  ☆98Updated 10 years ago
• martinribelotta / elfloader
  ARMv7M ELF loader
  ☆101Updated last year
• metebalci / baremetal-rpi
  bare metal programming with Raspberry Pi
  ☆29Updated 5 years ago
• erincandescent / elfload
  An ELF loader for embedded systems.
  ☆144Updated 7 years ago
• NienfengYao / armv8-bare-metal
  ☆103Updated 6 years ago
• ashwio / arm64-hypervisor-tutorial
  ☆105Updated 6 years ago
• embedded2014 / elf-loader
  Simplified ELF loader for ARM Cortex-M4 based platform
  ☆83Updated 10 years ago
• krinkinmu / aarch64
  Sources for the AARCH64 experiments for posts on https://krinkinmu.github.io/
  ☆30Updated 2 years ago
• kernkonzept / libfdt
  The device tree library
  ☆17Updated 4 months ago
• finallyjustice / armvisor
  Sample code for ARM hardware virtualization
  ☆10Updated 10 years ago
• dwelch67 / qemu_arm_samples
  bare metal ARM examples to be run with qemu-system-arm
  ☆71Updated 6 years ago
• prtos-project / prtos-hypervisor
  PRTOS Hypervisor is a lightweight, open-source embedded hypervisor
  ☆61Updated 2 weeks ago
• avpatel / xvisor-next
  Xvisor: eXtensible Versatile hypervISOR
  ☆88Updated 2 months ago
• yifanlu / ARMv7_MMU_Dumper
  Bare metal ARMv7 MMU Translation Table dumper
  ☆19Updated 10 years ago
• siemens / freertos-cell
  FreeRTOS for Jailhouse Cells
  ☆49Updated 2 years ago
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 8 years ago
• hermixy / vxworks5
  ☆29Updated 10 years ago
• baozich / mini-os
  mini-os for arm64
  ☆15Updated 9 years ago
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆46Updated last week
• WolfgangSt / libelf
  libelf
  ☆75Updated 7 years ago
• jiazhang0 / SELoader
  Secure EFI Loader designed to authenticate the non-PE files
  ☆48Updated 2 years ago
• daniel-k / rpi3-aarch64-jtag
  Starting point for bare metal development and JTAG debugging on Raspberry Pi 3.
  ☆28Updated 7 years ago
• kaiwan / device-memory-readwrite
  Read / Write pretty much _any_ memory location (RAM or H/W IO Memory) on a device
  ☆23Updated 3 months ago
• RinHizakura / mini-gdbstub
  An implementation of the GDB Remote Serial Protocol to help you adding debug mode on emulator
  ☆66Updated last week
• edgarigl / qemu-etrace
  Qemu Etrace
  ☆14Updated 10 months ago
• yannik520 / YakOS
  An embedded operating system kernel
  ☆15Updated 7 years ago