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:
- Official U-Boot package for Parallella☆41Updated 10 years ago
- ZeroVM Run-Time environment☆65Updated 10 years ago
- An open source miniPCIe development board based on the Xilinx Spartan 6 LX150T☆145Updated 10 years ago
- ☆33Updated last year
- Linux Kernel forked from ADI (with latest ADI HDMI drivers)☆69Updated 6 years ago
- FPGA Sega in Verilog, for Xilinx Virtex, circa 2002. Has an emulator thrown in, to simplify FPGA debugging.☆74Updated 12 years ago
- GRPC-like RPC library that supports file descriptor passing by using Argdata☆19Updated 6 years ago
- ``Hello World'' for a Little-Endian OpenPower world (freestanding)☆19Updated 9 years ago
- An open ChromeOS distro with a Go-based userland, X11, and upspin support. (WIP)☆59Updated 2 years ago
- exokernel style operating system based on lightweight virtual machines☆25Updated 9 years ago
- U2F firmware for Tomu board (+ chopstx port)☆68Updated 7 years ago
- Control and diagnostic applications for rump kernels☆35Updated 8 years ago
- RFC and standards documents relating the 9P protocol (and its extensions and applications)☆83Updated 3 years ago
- Moxie-compatible core repository☆47Updated 4 months ago
- The Antikernel operating system project☆119Updated 5 years ago
- QSPI flash multiplexer - connect a SPI NOR flash to either an embedded system or a programmer for remote firmware tests☆54Updated 5 years ago
- Password hashing scheme Argon☆18Updated 10 years ago
- IEEE754 reduced reduced precision floating point☆22Updated 8 years ago
- Label-based networking daemon☆23Updated 6 years ago
- The Kestrel is a family of home-made computers, built as much as possible on open-source technology, and supporting as much as possible t…☆189Updated 4 years ago
- minifs is a linux distribution maker to create very tight & compact monolithic firmwares☆77Updated 6 years ago
- ikgt manifest☆42Updated 3 years ago
- ☆36Updated 2 years ago
- A fast secure userspace pseudorandom number generator☆83Updated 11 years ago
- a simple C-to-Verilog compiler☆51Updated 8 years ago
- MH: a microkernel for fun and experimenting!☆31Updated 7 years ago
- ☆23Updated 7 months ago
- An experimental System-on-Chip with a custom compiler toolchain.☆60Updated 5 years ago
- ☆10Updated 9 years ago
- The Macgyver of Dlopening: `dlopen` yourself!☆45Updated 9 years ago