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 9 years ago
• yannik520 / YakOS
  An embedded operating system kernel
  ☆15Updated 7 years ago
• intel / rv-brs-test-suite
  The RV BRS test suite checks for compliance against the RVI Boot and Runtime Service specification.
  ☆11Updated 11 months ago
• riscvarchive / riscv-edk2-platforms
  Port of EDK2 implementation of UEFI to RISC-V. See documentation at:
  ☆18Updated 3 years ago
• 96boards / l-loader
  loader to switch from aarch32 to aarch64 and boot
  ☆12Updated 7 years ago
• c-sky / csky-doc
  ☆24Updated 3 years ago
• kesl / khypervisor
  ☆29Updated 9 years ago
• intel / kernelflinger
  ☆70Updated last year
• 96boards / edk2
  modern, feature-rich, cross-platform firmware development environment for the UEFI and PI specifications
  ☆5Updated 8 years ago
• mdepx / mdepx
  MDX — A BSD-style RTOS
  ☆27Updated last week
• swetland / jtag-mpsse
  JTAG Tools For FTDI MPSSE Transports
  ☆12Updated 10 years ago
• frantony / barebox
  ☆33Updated 11 months ago
• MarvellEmbeddedProcessors / atf-marvell
  ☆23Updated 5 years ago
• librerpi / lk
  LK embedded kernel
  ☆25Updated 4 months ago
• zephyrproject-rtos / fatfs
  This implementation of file system is developed by ELM Chan
  ☆16Updated 4 months ago
• detule / linux-hexagon
  Linux kernel for Qualcomm's Hexagon processors
  ☆10Updated 12 years ago
• sifiveinc / meta-sifive
  SiFive OpenEmbedded / Yocto BSP Layer
  ☆52Updated 2 weeks ago
• riscvarchive / riscv-edk2
  Port of EDK2 implementation of UEFI to RISC-V. See documentation at:
  ☆24Updated 3 years ago
• intel / libaji_client
  This is the client side library to access JTAG Server distributed with Quartus (jtagd/jtagserver.exe). The protocol is known as Advanced …
  ☆19Updated 10 months ago
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆48Updated 2 weeks ago
• Icenowy / aw-el2-barebone
  Allwinner SoCs' 64-bit EL2 barebone
  ☆17Updated 2 years ago
• NVIDIA / cbootimage
  Tegra BCT and bootable flash image generator/compiler
  ☆30Updated 5 years ago
• Openwide-Ingenierie / uefi-musl
  MUSL libc port for UEFI
  ☆11Updated 7 years ago
• foss-for-synopsys-dwc-arc-processors / openocd
  The development tree for OpenOCD for the Synopsys DesignWare ARC processor family
  ☆14Updated last year
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 9 years ago
• efidroid / uefi_apps_LKL
  EDK II LKL Filesystem Driver
  ☆13Updated 8 years ago
• quic / gunyah-c-runtime
  A small C runtime for bare-metal VMs on the Gunyah Hypervisor.
  ☆12Updated last year
• jwise / ndfslave
  Tools to pull data off of a NAND flash chip using a Digilent Nexys-2 board.
  ☆31Updated 11 years ago
• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆47Updated this week
• shacron / sled
  Sled System Emulator
  ☆28Updated last month