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 6 months ago
• qemu / sgabios
  Mirror of git.qemu.org/sgabios.git
  ☆19Updated 2 years ago
• mfleming / efilinux
  UEFI boot loader
  ☆79Updated 2 years ago
• wrmlab / wrmos
  RTOS based on L4 microkernel.
  ☆17Updated 6 years ago
• qemu / vgabios
  Mirror of git.qemu.org/vgabios.git
  ☆26Updated 8 years ago
• qemu / ipxe
  Mirror of git.qemu.org/ipxe.git
  ☆17Updated this week
• pfalcon / berkeley-db-1.xx
  Berkeley DB 1.85 with patches and fixes applied
  ☆25Updated last year
• kokke / tiny-lint-c
  A small and simple static analysis tool for C in C
  ☆28Updated 5 months ago
• l4ka / hazelnut
  L4Ka::Hazelnut micro-kernel
  ☆33Updated 9 years ago
• littlekernel / lkuser
  framework for a simple user space for lk
  ☆23Updated 2 years ago
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 8 years ago
• picoos / picoos
  pico]OS realtime operating system
  ☆62Updated 3 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 …
  ☆21Updated this week
• stef / stfs
  st filesystem for embedded flash systems
  ☆12Updated 8 years ago
• seL4 / musllibc
  ☆25Updated 2 weeks ago
• cjlano / tinysh
  tinysh: minimal shell
  ☆29Updated 13 years ago
• AndrewD / prex
  Prex is a portable real-time operating system for embedded systems
  ☆27Updated 14 years ago
• 0intro / libelf
  Libelf is a simple library to read ELF files.
  ☆48Updated 2 years ago
• alexeicolin / sysbios
  SYS/BIOS: kernel for Texas Instruments TI-RTOS
  ☆11Updated 11 years ago
• aremmell / libsir
  The Standard Incident Reporter library: A lightweight, cross-platform library for information distribution.
  ☆34Updated this week
• djboni / librertos
  LibreRTOS C/C++ Portable Single-Stack RTOS
  ☆39Updated last year
• uvc-ingenieure / kconfig-frontends
  Linux Kernel configuration tools - Windows Port
  ☆21Updated 11 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
• luke8086 / os64
  A minimal 64-bit operating system for x86-64
  ☆9Updated last year
• kloczek / tvision
  TVision - C++ user interface application framework library
  ☆22Updated last year
• frantony / barebox
  ☆31Updated 8 months ago
• jefyt / mempoolite
  A zero-malloc memory pool based on SQLite's memsys5 memory subsystem
  ☆28Updated 13 years ago
• jaredeh / axfs
  Automatically exported from code.google.com/p/axfs
  ☆24Updated 5 years ago
• justinian / jsix
  A hobby operating system for x86_64, boots with UEFI.
  ☆68Updated 6 months ago
• sergey-worm / wrmos
  RTOS based on L4 microkernel.
  ☆16Updated 6 years ago