Alternatives and similar repositories for idl4:

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

• qemu / openbios
  Mirror of git.qemu.org/openbios.git
  ☆22Updated 7 months ago
• seL4 / musllibc
  ☆27Updated last month
• kontais / EFI-MIPS
  UEFI, on Loongson.
  ☆14Updated 8 years ago
• riscvarchive / riscv-clang
  ☆27Updated 6 years ago
• qemu / vgabios
  Mirror of git.qemu.org/vgabios.git
  ☆26Updated 8 years ago
• l4ka / hazelnut
  L4Ka::Hazelnut micro-kernel
  ☆33Updated 9 years ago
• uvc-ingenieure / kconfig-frontends
  Linux Kernel configuration tools - Windows Port
  ☆21Updated 11 years ago
• qemu / u-boot
  Mirror of gitlab.com/qemu-project/u-boot.git
  ☆62Updated this week
• qemu / sgabios
  Mirror of git.qemu.org/sgabios.git
  ☆19Updated 3 years ago
• foss-for-synopsys-dwc-arc-processors / binutils-gdb
  A mirror of the upstream binutils-gdb repository for ARC specific work
  ☆14Updated this week
• mdepx / mdepx
  MDX — A BSD-style RTOS
  ☆26Updated 3 weeks ago
• kofemann / opensolaris
  The last official OpenSolaris code with pNFS
  ☆64Updated 10 years ago
• rofl0r / microwindows
  please use the more up-to-date repo of the original author:
  ☆17Updated 9 years ago
• wrmlab / wrmos
  RTOS based on L4 microkernel.
  ☆17Updated 6 years ago
• Xilinx / eglibc
  Upstream eglibc + xilinx branches
  ☆16Updated 11 years ago
• seL4 / camkes-manifest
  Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection …
  ☆22Updated last week
• picoos / picoos
  pico]OS realtime operating system
  ☆65Updated 3 years ago
• librerpi / lk
  LK embedded kernel
  ☆24Updated 2 months ago
• SEL4PROJ / AOS
  Advanced Operating Systems project
  ☆20Updated 7 months ago
• KhronosGroup / OpenVG-Registry
  OpenVG API and Extension Registry.
  ☆13Updated 3 years ago
• alperakcan / xynth
  Xynth is a portable embedded windowing system, client/server interface between display hardware (mouse, keyboard, video displays) and the…
  ☆32Updated 7 years ago
• open-estuary / uefi
  ☆16Updated 7 years ago
• littlekernel / lkuser
  framework for a simple user space for lk
  ☆23Updated 2 years ago
• yannik520 / YakOS
  An embedded operating system kernel
  ☆15Updated 7 years ago
• kraj / uClibc
  uClibc mirror
  ☆56Updated 3 months ago
• kubo / ya_getopt
  GNU getopt and getopt_long for Windows and Unix-like OSes
  ☆24Updated 5 years ago
• jaredeh / axfs
  Automatically exported from code.google.com/p/axfs
  ☆25Updated 6 years ago
• Prajna / mach
  Mach 3
  ☆48Updated 13 years ago
• wbx-github / openadk
  Open Source Appliance Development Kit (mirror)
  ☆35Updated last month
• riscvarchive / riscv-edk2
  Port of EDK2 implementation of UEFI to RISC-V. See documentation at:
  ☆24Updated 3 years ago