sergev / LiteBSD
Variant of 4.4BSD Unix for microcontrollers
☆319Updated 4 months ago
Alternatives and similar repositories for LiteBSD
Users that are interested in LiteBSD are comparing it to the libraries listed below
Sorting:
- Main RetroBSD Operating System☆379Updated last week
- Pure64 is a kernel/software loader for x86-64 systems.☆564Updated last week
- The working source code to PDP-11 Unix from 1972.☆101Updated 9 years ago
- for NetBSD project.☆127Updated this week
- A Forth CPU and System on a Chip, based on the J1, written in VHDL☆344Updated last year
- 2.11BSD-based Unix-like OS for STM32 and PIC32 Microcontrollers☆195Updated last week
- Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.☆197Updated last year
- minimal freestanding C library for bare-metal i386 development☆274Updated 9 years ago
- A project to resurrect Unix on the PDP-7 from a scan of the original assembly code☆459Updated last year
- C compiler, assembler and linker environment for the production of 8086 executables☆161Updated last year
- Swapforth is a cross-platform ANS Forth☆288Updated last year
- 8-bit UNIX-like operating system for the z80☆91Updated 6 years ago
- The Amsterdam Compiler Kit☆477Updated 3 weeks ago
- 1KB Cortex M0 Real Time Operating System☆149Updated 8 years ago
- Frosted: Free POSIX OS for tiny embedded devices☆219Updated last year
- Restoration of 1st Edition UNIX kernel sources from Bell Laboratories☆255Updated last month
- A second stage bootloader for the Raspberry Pi☆145Updated 3 years ago
- zForth: tiny, embeddable, flexible, compact Forth scripting language for embedded systems☆381Updated this week
- Akaros Operating System☆317Updated 3 years ago
- 386BSD☆605Updated 4 years ago
- Code and data to create a git repository representing the Unix source code history☆334Updated 10 months ago
- This is an xv6 port to Raspberry Pi☆43Updated 7 years ago
- The NewOS Operating System☆208Updated 9 years ago
- Original 2.11BSD Unix distribution with sources☆55Updated 10 years ago
- Restoration of 1st Edition UNIX kernel sources from pdf document.☆256Updated 9 years ago
- small self hosting C compiler☆481Updated 3 years ago
- Chadderz's Simple USB Driver for Raspberry Pi☆211Updated 5 years ago
- Z80 computer wirewrapped on perfboard + Some game and utility programs☆139Updated 8 months ago
- PC-MOS/386 v5.01 and up, including cdrom driver sources.☆426Updated 2 years ago
- An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4☆691Updated 5 years ago