genodelabs / genode-rpiLinks
Raspberry Pi family support for Genode OS framework
☆14Updated this week
Alternatives and similar repositories for genode-rpi
Users that are interested in genode-rpi are comparing it to the libraries listed below
Sorting:
- Tool for streamlining the development of Genode applications☆23Updated last week
- Website for stories around the Genode operating system☆17Updated 3 months ago
- Google Chromium, sans integration with Google - PPC64LE FORK☆17Updated 4 years ago
- Xsdl kdrive server(https://github.com/pelya/xserver-xsdl) for SDL1.2-SIXEL(https://github.com/saitoha/SDL1.2-SIXEL)☆16Updated 10 years ago
- fork of PCE focusing on macplus, supporting DaynaPort SCSI network emulation☆10Updated 2 years ago
- Solaris/PPC☆21Updated 10 years ago
- Ported software for HelenOS.☆21Updated last year
- Unencrypted, UDP-based alternative to the Gemini protocol☆16Updated 8 months ago
- This implementation of file system is developed by ELM Chan☆16Updated 3 months ago
- Sparc emulator☆10Updated 7 years ago
- Collection of community-maintained components for Genode☆46Updated this week
- Allwinner SoC support for the Genode OS framework☆16Updated last week
- Tool to convert plain text to LaTeX, HTML, and other formats☆12Updated 6 months ago
- LK embedded kernel☆24Updated 3 months ago
- Linux fork of FreeBSD crunch☆17Updated 13 years ago
- A cute Linda PoC in C++☆10Updated 7 months ago
- J-Core SoC Base Platfrom. Top level for FPGA platforms, pulls in CPU, BootROM and various IP blocks.☆23Updated 4 years ago
- An implementation of the hammer2 filesystem for Plan 9☆19Updated 6 years ago
- Nix source☆12Updated 4 years ago
- Codegen's SmartFirmware implementation of OpenFirmware☆28Updated 9 years ago
- A set of utilities to process FCODE, OpenFirmware's byte code☆33Updated 2 months ago
- 68k port of the PDP-11 version of Comer's Xinu operating system☆16Updated 9 years ago
- mirror of https://review.coreboot.org/libgfxinit.git☆24Updated 10 months ago
- Repository merger for apt-based distros☆14Updated 5 years ago
- Open Source version of the Netware SMP Operating System (32 bit DOS Loader version)☆16Updated last week
- risc-v assembly language☆10Updated 3 years ago
- POSIX-overlay filesystem☆13Updated 7 years ago
- NetBSD userland tools☆9Updated 5 years ago
- small experiment to learn some rust via a nRF24 Enhanced Shockburst receiver (2SPS IQ -> packets)☆12Updated 4 years ago
- ☆37Updated last month