Alternatives and similar repositories for lkuser

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

• lyegoshin / tinyVP
  tiny embedded MIPS virtualization platform - a very small and lean hypervisor using MIPS R5 hardware VZ option for embedded systems (IoT …
  ☆19Updated last year
• kontais / EFI-MIPS
  UEFI, on Loongson.
  ☆14Updated 9 years ago
• gurugio / caos
  Calcium OS project for x86_64
  ☆40Updated 7 years ago
• 96boards / edk2
  modern, feature-rich, cross-platform firmware development environment for the UEFI and PI specifications
  ☆5Updated 8 years ago
• jserv / codezero
  Codezero Microkernel
  ☆109Updated 3 years ago
• RTEMS / rtems-libbsd
  Mirror only see https://gitlab.rtems.org/rtems/pkg/rtems-libbsd
  ☆35Updated this week
• qemu / vgabios
  Mirror of git.qemu.org/vgabios.git
  ☆26Updated 8 years ago
• gfwilliams / tinycc
  Hacked up version of the Tiny C Compiler with basic ARM Thumb output
  ☆28Updated 9 months ago
• mfleming / efilinux
  UEFI boot loader
  ☆80Updated 2 years ago
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 9 years ago
• sugawaray / efiboot
  A tool to execute an elf binary in the UEFI shell environment.
  ☆10Updated 9 years ago
• jameswalmsley / FullFAT
  Open-source, Thread-safe, Embedded, FAT file-system.
  ☆22Updated 11 years ago
• uclinux-dev / elf2flt
  ELF to bFLT (binary flat) converter for no-mmu Linux targets
  ☆77Updated 11 months ago
• qemu / seabios
  Mirror of git.qemu.org/seabios.git
  ☆68Updated last month
• aejsmith / kboot
  KBoot boot loader
  ☆28Updated 6 months ago
• qemu / openbios
  Mirror of git.qemu.org/openbios.git
  ☆23Updated 11 months ago
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆48Updated last week
• metalab-projects / witOS
  A SM^2 (Smart and Small) RTOS for AIoT Devices.
  ☆31Updated 2 months ago
• jmolloy / JMTK
  A work in progress!
  ☆44Updated 12 years ago
• zeldin / u-boot-rpi3
  64-bit U-Boot for the Raspberry Pi 3
  ☆27Updated 9 years ago
• hcyang1012 / ARM_Hypervisor
  ☆19Updated 10 years ago
• linux-sunxi / mali-400-kernel-drivers
  Mali-400 kernel drivers for external compilation for use with linux-sunxi kernel.
  ☆23Updated 12 years ago
• luke8086 / os64
  A minimal 64-bit operating system for x86-64
  ☆9Updated last year
• farlepet / lambda-kern
  Multi-architecture hobby operating system created in C
  ☆16Updated 3 months ago
• pbatard / fasmg-efi
  A simple Hello World for x86_64 UEFI using fasmg
  ☆26Updated 8 years ago
• brainflux / klibc
  minimal libc
  ☆19Updated 13 years ago
• efidroid / uefi_apps_LKL
  EDK II LKL Filesystem Driver
  ☆13Updated 8 years ago
• yannik520 / YakOS
  An embedded operating system kernel
  ☆15Updated 8 years ago
• picoos / picoos
  pico]OS realtime operating system
  ☆66Updated 4 years ago
• rhuitl / uClinux
  uClinux plus my own patches, based on uClinux-dist-20110810.
  ☆69Updated 5 years ago