Alternatives and similar repositories for idl4

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

• wrmlab / wrmos
  RTOS based on L4 microkernel.
  ☆17Updated 6 years ago
• Stichting-MINIX-Research-Foundation / pkgsrc-ng
  PKGSRC repository for MINIX - Automatically replicated from gerrit.minix3.org
  ☆16Updated 8 years ago
• metalab-projects / witOS
  A SM^2 (Smart and Small) RTOS for AIoT Devices.
  ☆31Updated 2 months ago
• jetcom / xinu-arm
  Xinu arm port, for Raspberry Pi
  ☆30Updated 12 years ago
• mfleming / efilinux
  UEFI boot loader
  ☆80Updated 2 years ago
• picoos / picoos
  pico]OS realtime operating system
  ☆66Updated 4 years ago
• alperakcan / xynth
  Xynth is a portable embedded windowing system, client/server interface between display hardware (mouse, keyboard, video displays) and the…
  ☆34Updated 7 years ago
• uclinux-dev / elf2flt
  ELF to bFLT (binary flat) converter for no-mmu Linux targets
  ☆78Updated 10 months ago
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 9 years ago
• RoostTech / FemtoOS
  "a very concise portable real time - preemptive operating system"
  ☆25Updated 11 years ago
• darconeous / sdcc
  This is a *REALLY OLD* clone of the Small Device C Compiler. Really, why is anyone staring this repository? No one is keeping this up to …
  ☆67Updated 14 years ago
• RIOT-OS / applications
  Some useful RIOT applications
  ☆41Updated 2 years ago
• riscvarchive / riscv-clang
  ☆27Updated 6 years ago
• crossmeta / busybox
  Crossmeta BusyBox for Windows port
  ☆12Updated 8 years ago
• nyuichi / dash
  Debian Almquist shell
  ☆11Updated 11 years ago
• KhronosGroup / OpenVG-Registry
  OpenVG API and Extension Registry.
  ☆14Updated 3 years ago
• kisom / pmon
  Lemote PMON2000 boot loader.
  ☆18Updated 11 years ago
• kokke / tiny-lint-c
  A small and simple static analysis tool for C in C
  ☆30Updated 9 months ago
• mirror / scite
  SciTE Git mirror
  ☆49Updated 9 months ago
• seL4 / musllibc
  ☆28Updated last month
• stef / stfs
  st filesystem for embedded flash systems
  ☆12Updated 8 years ago
• slavaim / riscv-magenta
  Magenta kernel port to RISC-V
  ☆16Updated 7 years ago
• qemu / openbios
  Mirror of git.qemu.org/openbios.git
  ☆23Updated 10 months ago
• l4ka / hazelnut
  L4Ka::Hazelnut micro-kernel
  ☆34Updated 9 years ago
• monnerat / insight
  The gdb tcl/tk GUI
  ☆25Updated 8 years ago
• kofemann / opensolaris
  The last official OpenSolaris code with pNFS
  ☆66Updated 10 years ago
• qemu / vgabios
  Mirror of git.qemu.org/vgabios.git
  ☆26Updated 8 years ago
• olibc / olibc
  Another C Library optimized for Embedded Linux
  ☆59Updated 11 years ago
• kernkonzept / libfdt
  The device tree library
  ☆18Updated this week
• coderaiser / nemesis
  x86 operation system writen on fasm
  ☆43Updated last month