sergev / LiteBSD

Related projects: ⓘ

• RetroBSD / retrobsd
  Main RetroBSD Operating System
  ☆344Updated last year
• chettrick / discobsd
  2.11BSD-based Unix-like OS for STM32 and PIC32 Microcontrollers
  ☆178Updated this week
• davidgiven / ack
  The Amsterdam Compiler Kit
  ☆421Updated 6 months ago
• ebijun / NetBSD
  for NetBSD project.
  ☆127Updated this week
• DoctorWkt / pdp7-unix
  A project to resurrect Unix on the PDP-7 from a scan of the original assembly code
  ☆426Updated last year
• DoctorWkt / unix-jun72
  The working source code to PDP-11 Unix from 1972.
  ☆92Updated 9 years ago
• bitrig / bitrig
  Bitrig base system repository.
  ☆259Updated 7 years ago
• Chadderz121 / csud
  Chadderz's Simple USB Driver for Raspberry Pi
  ☆206Updated 4 years ago
• mrvn / raspbootin
  Simple boot-over-serial bootloader for the Raspberry Pi
  ☆138Updated 3 years ago
• jncronin / rpi-boot
  A second stage bootloader for the Raspberry Pi
  ☆141Updated 2 years ago
• reyk / httpd
  OpenBSD httpd
  ☆314Updated 6 years ago
• jsonn / src
  [Please switch to NetBSD/src] Automatically updated conversion of the "src" module from anoncvs.netbsd.org
  ☆42Updated 7 years ago
• brianwiddas / pi-baremetal
  Experimenting with bare metal coding on a Raspberry Pi
  ☆160Updated 11 years ago
• brho / akaros
  Akaros Operating System
  ☆312Updated 2 years ago
• ReturnInfinity / Pure64
  Pure64 is a kernel/software loader for x86-64 systems.
  ☆546Updated last week
• Nils-TUD / Escape
  Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.
  ☆191Updated last year
• owenson / tiny-linux-bootloader
  A single sector Linux bootloader that can handle initrd
  ☆68Updated last year
• zhiyihuang / xv6_rpi_port
  This is an xv6 port to Raspberry Pi
  ☆41Updated 6 years ago
• RobertElderSoftware / recc
  A collection of compiler, emulator and microkernel tools.
  ☆244Updated 4 years ago
• KestrelComputer / kestrel
  The Kestrel is a family of home-made computers, built as much as possible on open-source technology, and supporting as much as possible t…
  ☆185Updated 3 years ago
• dspinellis / unix-history-make
  Code and data to create a git repository representing the Unix source code history
  ☆329Updated 2 months ago
• rsta2 / uspi
  A bare metal USB driver for Raspberry Pi 1-3 written in C
  ☆281Updated last year
• lkundrak / dev86
  C compiler, assembler and linker environment for the production of 8086 executables
  ☆153Updated last year
• travisg / newos
  The NewOS Operating System
  ☆200Updated 8 years ago
• freebsd / crochet
  Build FreeBSD images for RaspberryPi, BeagleBone, PandaBoard, and others.
  ☆611Updated 11 months ago
• zserge / partcl
  ParTcl - a micro Tcl implementation
  ☆474Updated 5 months ago
• DragonFlyBSD / DragonFlyBSD
  DragonFly BSD System Source Repository (read-only mirror)
  ☆545Updated last week
• weiss / original-bsd
  Original BSD history converted from CSRG's SCCS repository to Git (via SVN)
  ☆140Updated 11 years ago
• itszor / vc4-toolchain
  A port of the GNU toolchain to the Raspberry Pi's VideoCore4 processor.
  ☆135Updated 3 years ago
• insane-adding-machines / frosted
  Frosted: Free POSIX OS for tiny embedded devices
  ☆215Updated 7 months ago