Alternatives and similar repositories for idl4

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

• alperakcan / xynth
  Xynth is a portable embedded windowing system, client/server interface between display hardware (mouse, keyboard, video displays) and the…
  ☆34Updated 8 years ago
• l4ka / hazelnut
  L4Ka::Hazelnut micro-kernel
  ☆37Updated 10 years ago
• seL4 / musllibc
  ☆29Updated 3 months 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 …
  ☆23Updated last week
• kernkonzept / l4re-core
  The core components of the L4Re operating system.
  ☆101Updated this week
• nfeske / genode-manual
  Reference manual for the Genode OS Framework
  ☆24Updated 3 months ago
• seL4 / util_libs
  ☆61Updated 2 weeks ago
• kofemann / opensolaris
  The last official OpenSolaris code with pNFS
  ☆70Updated 11 years ago
• rroart / freevms
  FreeVMS (0.3.17 release continued), the only working one
  ☆42Updated last month
• lkundrak / dev86
  C compiler, assembler and linker environment for the production of 8086 executables
  ☆170Updated 2 years ago
• openmach / openmach
  OpenMach operating system
  ☆101Updated 11 years ago
• dwelch67 / thumbulator
  Thumb instruction set emulator
  ☆118Updated 4 years ago
• RetroBSD / 2.11BSD
  Original 2.11BSD Unix distribution with sources
  ☆64Updated 10 years ago
• IanHarvey / pcc
  Portable C Compiler sources
  ☆123Updated last year
• l4ka / pistachio
  L4Ka::Pistachio micro-kernel
  ☆295Updated 6 years ago
• RTEMS / rtems-libbsd
  Mirror only see https://gitlab.rtems.org/rtems/pkg/rtems-libbsd
  ☆35Updated 2 weeks ago
• Nils-TUD / Escape
  Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.
  ☆200Updated 6 months ago
• svn2github / sdcc
  This is a clone of an SVN repository at http://svn.code.sf.net/p/sdcc/code/trunk. It had been cloned by http://svn2github.com/ , but the …
  ☆42Updated 7 years ago
• idunham / tinyxserver
  A small X server, based on Xorg 1.2 but with security fixes.
  ☆104Updated 10 years ago
• kaos / ecos
  ☆22Updated 13 years ago
• wbx-github / openadk
  Open Source Appliance Development Kit (mirror)
  ☆36Updated 4 months ago
• OSPreservProject / oskit
  oskit code from Fluke OS project at University of Utah
  ☆38Updated 3 years ago
• jserv / codezero
  Codezero Microkernel
  ☆111Updated last week
• RetroBSD / retrobsd
  Main RetroBSD Operating System
  ☆396Updated 9 months ago
• mfleming / efilinux
  UEFI boot loader
  ☆81Updated 3 years ago
• JWasm / JWasm
  JWasm continuation
  ☆119Updated last year
• ryansturmer / thinfat32
  A lightweight implementation of the fat32 filesystem specification in C for embedded systems.
  ☆114Updated 5 years ago
• travisg / toolchains
  Shell script to build gcc for various architectures
  ☆86Updated 4 months ago
• picoos / picoos
  pico]OS realtime operating system
  ☆67Updated 4 years ago
• travisg / newos
  The NewOS Operating System
  ☆232Updated 10 years ago