Lichtso / UnikernelExperimentsLinks
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
Sorting:
- ZeroVM Run-Time environment☆65Updated 10 years ago
- Official U-Boot package for Parallella☆41Updated 10 years ago
- Mirror of NetBSD sources useful with rump kernels☆12Updated 8 years ago
- Moxie-compatible core repository☆46Updated last year
- ``Hello World'' for a Little-Endian OpenPower world (freestanding)☆18Updated 8 years ago
- Easy, flexible C unit testing☆11Updated 9 years ago
- Control and diagnostic applications for rump kernels☆36Updated 8 years ago
- J-Core SoC Base Platfrom. Top level for FPGA platforms, pulls in CPU, BootROM and various IP blocks.☆23Updated 4 years ago
- ☆33Updated 10 months ago
- ISA card expansion for LPC and Glasgow☆10Updated 5 years ago
- RFC and standards documents relating the 9P protocol (and its extensions and applications)☆80Updated 2 years ago
- Tools for running rump unikernels in userspace☆56Updated 9 years ago
- Label-based networking daemon☆22Updated 6 years ago
- rv6 is a kernel & operating system written entirely in rust.☆11Updated 5 years ago
- The Mickey Mouse of dynamic linkers☆14Updated 2 months ago
- BSD-licensed CTF Implementation☆19Updated 9 years ago
- exokernel style operating system based on lightweight virtual machines☆25Updated 9 years ago
- Convert ELF executables to DOS executables☆32Updated 6 years ago
- Minimal self-hosting system for Docker using musl libc and BusyBox☆67Updated 10 years ago
- Migrated to Codeberg☆17Updated 3 years ago
- JIT compiler for 6502 machine code, built on lib6502 and LLVM☆54Updated 10 years ago
- XXDP was, and remains, the PDP-11 diagnostic operating system. This project attempts to recover XXDP sources and documents.☆26Updated 2 years ago
- The Macgyver of Dlopening: `dlopen` yourself!☆45Updated 8 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
- resurrected LLVM "C Backend", with improvements☆18Updated 8 years ago
- Stub-only implementation of the Babel routing protocol☆10Updated 2 years ago
- U-Boot with Atmel's I2C TPM, libTLCL, and libsboot (Secure Boot)☆18Updated 10 years ago
- Betrusted embedded controller (UP5K)☆45Updated last year
- An exercise in cryptographic minimlism☆24Updated 10 years ago
- POWER-targeted JIT fork of Mozilla.☆12Updated 3 years ago