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
• c-sky / csky-doc
  ☆24Updated 3 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
• 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…
  ☆21Updated 2 years ago
• mfleming / efilinux
  UEFI boot loader
  ☆80Updated 2 years ago
• RTEMS / rtems-libbsd
  Mirror only see https://gitlab.rtems.org/rtems/pkg/rtems-libbsd
  ☆35Updated last week
• frederic / aml_bootloader_tool
  parse and regenerate the SHA-256 of bootloaders for Amlogic S905 SoC
  ☆35Updated 8 years ago
• zephyrproject-rtos / fatfs
  This implementation of file system is developed by ELM Chan
  ☆16Updated 5 months ago
• smaeul / u-boot
  Patches include sunxi platform support and various driver fixes
  ☆42Updated 4 months ago
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆48Updated last week
• avatarone / avatar-gdbstub
  GDB stub that allows debugging of embedded devices
  ☆34Updated 9 years ago
• yannik520 / YakOS
  An embedded operating system kernel
  ☆15Updated 8 years ago
• librerpi / lk
  LK embedded kernel
  ☆26Updated 5 months ago
• metebalci / baremetal-rpi
  bare metal programming with Raspberry Pi
  ☆29Updated 6 years ago
• markotikvic / QNX-BBB
  QNX Neutrino on BeagleBoneBlack
  ☆33Updated 9 years ago
• quic / gunyah-c-runtime
  A small C runtime for bare-metal VMs on the Gunyah Hypervisor.
  ☆12Updated last year
• pinczakko / PCI-Expansion-ROM-OS
  Two stage x86 boot loader and preliminary kernel code which are combined into single binary file to be flashed to PCI expansion card with…
  ☆35Updated 8 years ago
• mdepx / mdepx
  MDX — A BSD-style RTOS
  ☆27Updated last week
• kaos / ecos
  ☆22Updated 12 years ago
• siemens / freertos-cell
  FreeRTOS for Jailhouse Cells
  ☆52Updated 2 years ago
• swetland / jtag-mpsse
  JTAG Tools For FTDI MPSSE Transports
  ☆12Updated 10 years ago
• ngkaho1234 / fuse-lwext4
  ☆11Updated 8 years ago
• frantony / barebox
  ☆33Updated last year
• Icenowy / aw-el2-barebone
  Allwinner SoCs' 64-bit EL2 barebone
  ☆17Updated 2 years ago
• wbx-github / openadk
  Open Source Appliance Development Kit (mirror)
  ☆36Updated 3 months ago
• molejar / pyUBoot
  Python module for manipulating with U-Boot images and environment variables
  ☆18Updated last year
• jhol / usbdump
  Simple usbmon frontend
  ☆14Updated 8 years ago
• 3mdeb / edk2-docker
  Docker container for building EDK2 UEFI Open Source reference implementation
  ☆16Updated 8 months ago
• lupyuen / nuttx-star64
  Apache NuttX RTOS for Pine64 Star64 64-bit RISC-V SBC (StarFive JH7110)
  ☆28Updated this week
• SEL4PROJ / AOS
  Advanced Operating Systems project
  ☆20Updated 10 months ago