Alternatives and similar repositories for lkuser

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

• 96boards / edk2
  modern, feature-rich, cross-platform firmware development environment for the UEFI and PI specifications
  ☆5Updated 8 years ago
• sergey-worm / wrmos
  RTOS based on L4 microkernel.
  ☆16Updated 6 years ago
• kontais / EFI-MIPS
  UEFI, on Loongson.
  ☆14Updated 8 years ago
• farlepet / lambda-kern
  Multi-architecture hobby operating system created in C
  ☆16Updated 3 weeks ago
• Keenuts / virtio-gpu-documentation
  Documentation for 3D commands on Virgl3D
  ☆26Updated 6 years ago
• Papierkorb / tarfs
  tar file system as loadable kernel module
  ☆16Updated 8 years ago
• projectara / bootrom
  Bootrom
  ☆15Updated 9 years ago
• TUD-OS / NRE
  NOVA runtime environment (official branch)
  ☆34Updated 3 years ago
• 96boards / burn-boot
  A small python tool for downloading bootloader to ddr through serial port
  ☆12Updated 9 years ago
• jimix / k42
  K42 Kernel
  ☆27Updated 13 years ago
• kisom / pmon
  Lemote PMON2000 boot loader.
  ☆17Updated 11 years ago
• qemu / openbios
  Mirror of git.qemu.org/openbios.git
  ☆23Updated 8 months ago
• littlekernel / gbskia
  software skia for resource-constrained devices
  ☆11Updated 9 years ago
• 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
• luke8086 / os64
  A minimal 64-bit operating system for x86-64
  ☆9Updated last year
• tass-belgium / picotcp-bsd
  BSD POSIX-compliant socket support for PicoTCP running on any OS.
  ☆20Updated 6 years ago
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆48Updated this week
• littlekernel / newlib
  Fork of newlib
  ☆10Updated 3 years ago
• yannik520 / YakOS
  An embedded operating system kernel
  ☆15Updated 7 years ago
• qemu / openhackware
  Mirror of git.qemu.org/openhackware.git
  ☆12Updated 8 years ago
• librerpi / lk
  LK embedded kernel
  ☆24Updated 3 months ago
• deadsy / rvdbg
  RISC-V Debugger
  ☆16Updated last month
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• micropython / oofatfs
  Object Oriented version of FatFs
  ☆23Updated 5 years ago
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 9 years ago
• qemu / ipxe
  Mirror of git.qemu.org/ipxe.git
  ☆18Updated 2 months ago
• kungliet / okl4
  okl4 git for porting to realview_eb RTSM platform
  ☆14Updated 12 years ago
• jameswalmsley / FullFAT
  Open-source, Thread-safe, Embedded, FAT file-system.
  ☆22Updated 11 years ago
• picoos / picoos
  pico]OS realtime operating system
  ☆66Updated 3 years ago
• zephyrproject-rtos / fatfs
  This implementation of file system is developed by ELM Chan
  ☆16Updated 3 months ago