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
- Control and diagnostic applications for rump kernels☆36Updated 8 years ago
- An open source miniPCIe development board based on the Xilinx Spartan 6 LX150T☆145Updated 9 years ago
- An open ChromeOS distro with a Go-based userland, X11, and upspin support. (WIP)☆59Updated 2 years ago
- The Antikernel operating system project☆121Updated 5 years ago
- Linux Kernel forked from ADI (with latest ADI HDMI drivers)☆68Updated 5 years ago
- RFC and standards documents relating the 9P protocol (and its extensions and applications)☆82Updated 2 years ago
- Moxie-compatible core repository☆47Updated 2 weeks ago
- Security monitor for Keystone Enclave (mirror of riscv-pk). Will be deprecated when openSBI port is ready☆35Updated 4 years ago
- FPGA Sega in Verilog, for Xilinx Virtex, circa 2002. Has an emulator thrown in, to simplify FPGA debugging.☆73Updated 11 years ago
- U2F firmware for Tomu board (+ chopstx port)☆68Updated 6 years ago
- Label-based networking daemon☆23Updated 6 years ago
- An operating system for the Raspberry Pi☆59Updated 10 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
- BSD-licensed CTF Implementation☆19Updated 10 years ago
- JIT compiler for 6502 machine code, built on lib6502 and LLVM☆55Updated 11 years ago
- ☆33Updated last year
- The Akaros operating system☆41Updated 4 years ago
- Bare metal core dump☆11Updated 6 years ago
- Some code to bruteforce OpenBSD softraid encrypted drives - NOT A READY-TO-USE TOOL☆58Updated 8 years ago
- LLVM Bare Metal GitSlave☆53Updated 11 years ago
- Tools for running rump unikernels in userspace☆56Updated 9 years ago
- tux3 file system☆75Updated 10 years ago
- ☆30Updated 3 years ago
- IEEE754 reduced reduced precision floating point☆22Updated 8 years ago
- Software Development Platform for ARM / Android terminals☆39Updated 9 years ago
- NxM, a 64-bit plan 9 derivative you can build on Linux and OSX, and boot on qemu☆46Updated last year
- A fast secure userspace pseudorandom number generator☆83Updated 11 years ago
- A 300 MHz to 3800 MHz RF module for the Novena Open Hardware Computing Platform☆53Updated 9 years ago