Lichtso / UnikernelExperiments
TCP/IPv6-enabled Pine64+ bootloader
☆13Updated 8 years ago
Alternatives and similar repositories for UnikernelExperiments:
Users that are interested in UnikernelExperiments are comparing it to the libraries listed below
- ZeroVM Run-Time environment☆65Updated 10 years ago
- ☆31Updated 10 months ago
- Label-based networking daemon☆22Updated 6 years ago
- Control and diagnostic applications for rump kernels☆36Updated 8 years ago
- ``Hello World'' for a Little-Endian OpenPower world (freestanding)☆18Updated 8 years ago
- Tools for running rump unikernels in userspace☆56Updated 9 years ago
- The No-Order File System (NoFS)☆46Updated 12 years ago
- Official U-Boot package for Parallella☆41Updated 10 years ago
- J-Core SoC Base Platfrom. Top level for FPGA platforms, pulls in CPU, BootROM and various IP blocks.☆23Updated 4 years ago
- Tools, runtime code, and HDL source for the moxie processor core.☆39Updated 12 years ago
- tux3 file system☆75Updated 10 years ago
- Mirror of NetBSD sources useful with rump kernels☆12Updated 8 years ago
- Easy, flexible C unit testing☆11Updated 9 years ago
- Convert ELF executables to DOS executables☆32Updated 6 years ago
- OSv GUI☆19Updated 8 years ago
- The HexagonE VM☆26Updated 2 years ago
- Moxie-compatible core repository☆46Updated last year
- RFC and standards documents relating the 9P protocol (and its extensions and applications)☆80Updated 2 years ago
- Provide musl as system C library for OpenEmbedded/Yocto☆22Updated 9 years ago
- An open ChromeOS distro with a Go-based userland, X11, and upspin support. (WIP)☆59Updated last year
- FreeBSD's name/value pairs library☆13Updated 5 years ago
- FreeBSD client filesystem implementation of 9P2000.u☆10Updated 9 years ago
- BSD-licensed CTF Implementation☆19Updated 9 years ago
- My coreboot work☆23Updated 14 years ago
- Betrusted embedded controller (UP5K)☆45Updated last year
- Automatically exported from code.google.com/p/axfs☆25Updated 6 years ago
- QSPI flash multiplexer - connect a SPI NOR flash to either an embedded system or a programmer for remote firmware tests☆52Updated 4 years ago
- The Akaros operating system☆41Updated 4 years ago
- BabbleSim base/common components. Any BabbleSim user will want some of these.☆15Updated 2 months ago
- ISA card expansion for LPC and Glasgow☆10Updated 5 years ago