Alternatives and similar repositories for okl4:

Users that are interested in okl4 are comparing it to the libraries listed below

• kontais / EFI-MIPS
  UEFI, on Loongson.
  ☆14Updated 8 years ago
• kaos / ecos
  ☆21Updated 12 years ago
• mdepx / mdepx
  MDX — A BSD-style RTOS
  ☆26Updated 3 weeks ago
• c-sky / csky-doc
  ☆24Updated 3 years ago
• riscvarchive / riscv-edk2
  Port of EDK2 implementation of UEFI to RISC-V. See documentation at:
  ☆24Updated 3 years ago
• anatol / menuconfig
  Out-of-tree version of Linux' kconfig tool
  ☆17Updated 10 months ago
• Icenowy / aw-el2-barebone
  Allwinner SoCs' 64-bit EL2 barebone
  ☆17Updated 2 years ago
• hcyang1012 / ARM_Hypervisor
  ☆19Updated 9 years ago
• SEL4PROJ / AOS
  Advanced Operating Systems project
  ☆20Updated 7 months ago
• metebalci / baremetal-rpi
  bare metal programming with Raspberry Pi
  ☆29Updated 5 years 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
• riscvarchive / riscv-edk2-platforms
  Port of EDK2 implementation of UEFI to RISC-V. See documentation at:
  ☆18Updated 3 years ago
• kmu-embedded / k-hypervisor
  ARM-based Hypervisor for Real-Time Embedded Systems
  ☆18Updated 6 years ago
• VioletGiraffe / UEFI-Bootloader
  A simple UEFI bootloader written in C++17 that does not need any third-party support code like Tianocore EDK or gnu-efi; only needs a han…
  ☆19Updated 2 years ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• kernkonzept / uvmm
  Virtual machine monitor for L4Re
  ☆30Updated last week
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆46Updated 2 weeks ago
• librerpi / lk
  LK embedded kernel
  ☆24Updated 2 months ago
• kesl / khypervisor
  ☆29Updated 9 years ago
• edgarigl / qemu-etrace
  Qemu Etrace
  ☆14Updated 11 months ago
• mfleming / efilinux
  UEFI boot loader
  ☆79Updated 2 years ago
• seL4 / camkes-vm
  Virtual Machine built as a CAmkES component.
  ☆23Updated last month
• littlekernel / lkuser
  framework for a simple user space for lk
  ☆23Updated 2 years ago
• riscv-admin / riscv-uefi-edk2-docs
  Documentation and status of UEFI on RISC-V
  ☆57Updated 3 years ago
• avatarone / avatar-gdbstub
  GDB stub that allows debugging of embedded devices
  ☆33Updated 9 years ago
• swetland / jtag-mpsse
  JTAG Tools For FTDI MPSSE Transports
  ☆12Updated 10 years ago
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 9 years ago
• kisom / pmon
  Lemote PMON2000 boot loader.
  ☆16Updated 11 years ago
• ghaerr / ncc
  A small self-compiling arm/x86-64 C compiler, linker, C library and ELF loader for command line or library use on macOS, Linux or bare me…
  ☆26Updated 11 months ago
• smaeul / u-boot
  Patches include sunxi platform support and various driver fixes
  ☆42Updated last month