machinaut / libos
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
- A minimal 64-bit operating system for x86-64☆9Updated last year
- The GRUB 2 bootloader. "upstream" is a mirror of the official bzr repository; "master" and other branches are our development. All branch…☆9Updated 8 years ago
- Portable C Compiler (CVS mirror)☆12Updated 13 years ago
- A kernel with a purpose - to keep most of the code out of the kernel☆15Updated 5 years ago
- Easy, flexible C unit testing☆11Updated 9 years ago
- uefi app/bootloader development sandbox☆15Updated 9 years ago
- A minimalist IP stack written in ANSI C.☆52Updated last year
- A quick port of lwIP running on top of BareMetal.☆143Updated 7 years ago
- The LiteBSD ports tree.☆15Updated 7 years ago
- Calcium OS project for x86_64☆40Updated 7 years ago
- Network Communication Library☆7Updated 10 years ago
- Raspberry PI barebones kernel.☆21Updated 12 years ago
- L4Ka::Hazelnut micro-kernel☆33Updated 9 years ago
- Tiny Operating System supporting: SVGA gui, Grub bootloader, network subsystem, CDROM drivers.☆33Updated 12 years ago
- Github mirror of PDCLib (http://hg.pdclib.e43.eu/pdclib)☆15Updated 11 years ago
- ☆22Updated 14 years ago
- cmips☆56Updated 10 years ago
- Multi-architecture hobby operating system created in C☆16Updated this week
- x86-64 SMP enabled microkernel hobbyist OS☆24Updated 9 years ago
- ☆19Updated 9 years ago
- K42 Kernel☆27Updated 12 years ago
- An exokernel for the raspberry pi 3.☆80Updated 3 years ago
- The next generation Toddler, a well designed usable and portable microkernel OS☆16Updated 4 years ago
- oskit code from Fluke OS project at University of Utah☆35Updated 2 years ago
- A superfast C compiler inspired by TinyCC☆15Updated 9 years ago
- A simple bootloader for linux kernel☆23Updated 11 years ago
- ☆31Updated 10 months ago
- A minimalistic library to help making your x86 assembly program bootable.☆25Updated 6 years ago
- Kiwi operating system☆13Updated 3 months ago
- My coreboot work☆23Updated 14 years ago