machinaut / libosLinks
library OS, based on xv6, for running go programs on (virtual) bare metal
☆12Updated 13 years ago
Alternatives and similar repositories for libos
Users that are interested in libos are comparing it to the libraries listed below
Sorting:
- Raspberry PI barebones kernel.☆21Updated 12 years ago
- A minimal 64-bit operating system for x86-64☆9Updated last year
- Network Communication Library☆7Updated 10 years ago
- Portable C Compiler (CVS mirror)☆12Updated 13 years ago
- K42 Kernel☆27Updated 13 years ago
- uefi app/bootloader development sandbox☆15Updated 9 years ago
- A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.☆44Updated 3 years ago
- LLVM based assembler for x86, Arm, Mips, PowerPC, Sparc and SystemZ (Rust API)☆20Updated 9 years ago
- The LiteBSD ports tree.☆15Updated 7 years ago
- A superfast C compiler inspired by TinyCC☆15Updated 10 years ago
- Xinu arm port, for Raspberry Pi☆30Updated 12 years ago
- The GRUB 2 bootloader. "upstream" is a mirror of the official bzr repository; "master" and other branches are our development. All branch…☆9Updated 9 years ago
- Github mirror of PDCLib (http://hg.pdclib.e43.eu/pdclib)☆15Updated 11 years ago
- A quick port of lwIP running on top of BareMetal.☆143Updated 7 years ago
- An exokernel for the raspberry pi 3.☆80Updated 3 years ago
- A 64-bit kernel for ARMv8-A CPU's.☆30Updated 3 years ago
- Hacked up version of the Tiny C Compiler with basic ARM Thumb output☆27Updated 7 months ago
- Easy, flexible C unit testing☆11Updated 9 years ago
- cmips☆56Updated 10 years ago
- A minimalist IP stack written in ANSI C.☆52Updated last year
- A tiny lexical analyser generator☆19Updated 13 years ago
- A kernel with a purpose - to keep most of the code out of the kernel☆15Updated 5 years ago
- Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI☆67Updated 4 years ago
- Sparc emulator☆10Updated 7 years ago
- A little just-in-time compiler thing☆18Updated 6 years ago
- framework for a simple user space for lk☆23Updated 3 years ago
- Another C Library optimized for Embedded Linux☆59Updated 11 years ago
- A small and simple static analysis tool for C in C☆29Updated 7 months ago
- C preprocessor☆7Updated 8 years ago
- This is an xv6 port to Raspberry Pi☆43Updated 7 years ago