Alternatives and similar repositories for LiteBSD:

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

• RetroBSD / retrobsd
  Main RetroBSD Operating System
  ☆369Updated this week
• f9micro / f9-kernel
  An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4
  ☆687Updated 5 years ago
• chettrick / discobsd
  2.11BSD-based Unix-like OS for STM32 and PIC32 Microcontrollers
  ☆184Updated last week
• davidgiven / ack
  The Amsterdam Compiler Kit
  ☆467Updated last month
• jamesbowman / swapforth
  Swapforth is a cross-platform ANS Forth
  ☆284Updated last year
• DoctorWkt / pdp7-unix
  A project to resurrect Unix on the PDP-7 from a scan of the original assembly code
  ☆440Updated last year
• lkundrak / dev86
  C compiler, assembler and linker environment for the production of 8086 executables
  ☆159Updated last year
• bitrig / bitrig
  Bitrig base system repository.
  ☆259Updated 8 years ago
• rsta2 / uspi
  A bare metal USB driver for Raspberry Pi 1-3 written in C
  ☆287Updated last year
• brianwiddas / pi-baremetal
  Experimenting with bare metal coding on a Raspberry Pi
  ☆164Updated 12 years ago
• ebijun / NetBSD
  for NetBSD project.
  ☆128Updated this week
• brho / akaros
  Akaros Operating System
  ☆316Updated 2 years ago
• ReturnInfinity / Pure64
  Pure64 is a kernel/software loader for x86-64 systems.
  ☆559Updated 2 weeks ago
• Nils-TUD / Escape
  Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.
  ☆197Updated last year
• insane-adding-machines / frosted
  Frosted: Free POSIX OS for tiny embedded devices
  ☆216Updated last year
• KnightOS / kernel
  Kernel for z80 calculators
  ☆290Updated last year
• RobertElderSoftware / recc
  A collection of compiler, emulator and microkernel tools.
  ☆250Updated 5 years ago
• zevv / zForth
  zForth: tiny, embeddable, flexible, compact Forth scripting language for embedded systems
  ☆367Updated last week
• Chadderz121 / csud
  Chadderz's Simple USB Driver for Raspberry Pi
  ☆208Updated 5 years ago
• owenson / tiny-linux-bootloader
  A single sector Linux bootloader that can handle initrd
  ☆69Updated 2 years ago
• dumitru-stama / M0S
  1KB Cortex M0 Real Time Operating System
  ☆148Updated 8 years ago
• jncronin / rpi-boot
  A second stage bootloader for the Raspberry Pi
  ☆142Updated 3 years ago
• mrvn / raspbootin
  Simple boot-over-serial bootloader for the Raspberry Pi
  ☆141Updated 4 years ago
• marssaxman / startc
  minimal freestanding C library for bare-metal i386 development
  ☆268Updated 8 years ago
• dwelch67 / rpigpu
  Raspberry Pi GPU based bare metal example programs
  ☆106Updated 12 years ago
• RetroBSD / 2.11BSD
  Original 2.11BSD Unix distribution with sources
  ☆54Updated 9 years ago
• weiss / original-bsd
  Original BSD history converted from CSRG's SCCS repository to Git (via SVN)
  ☆151Updated 12 years ago
• dspinellis / unix-history-make
  Code and data to create a git repository representing the Unix source code history
  ☆333Updated 7 months ago
• howerj / forth-cpu
  A Forth CPU and System on a Chip, based on the J1, written in VHDL
  ☆341Updated 11 months ago
• DragonFlyBSD / DragonFlyBSD
  DragonFly BSD System Source Repository (read-only mirror)
  ☆556Updated this week