genodelabs / genode-rpi
Raspberry Pi family support for Genode OS framework
☆14Updated last week
Alternatives and similar repositories for genode-rpi:
Users that are interested in genode-rpi are comparing it to the libraries listed below
- Tool for streamlining the development of Genode applications☆23Updated last week
- Website for stories around the Genode operating system☆17Updated 2 months 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
- An implementation of the hammer2 filesystem for Plan 9☆19Updated 6 years ago
- Unencrypted, UDP-based alternative to the Gemini protocol☆16Updated 7 months ago
- Tool to convert plain text to LaTeX, HTML, and other formats☆12Updated 6 months ago
- A secure utmp/wtmp implementation☆18Updated this week
- Coreboot payload for PC Engines APU2 that sort boot order and save it to flash.☆14Updated last month
- Sparc emulator☆10Updated 6 years ago
- Linux fork of FreeBSD crunch☆17Updated 13 years ago
- Google Chromium, sans integration with Google - PPC64LE FORK☆17Updated 4 years ago
- Allwinner SoC support for the Genode OS framework☆16Updated last week
- ☆9Updated 2 years ago
- XT Toolchain☆16Updated 4 months ago
- Nix source☆11Updated 4 years ago
- Collection of community-maintained components for Genode☆46Updated this week
- Concept proposals for a better operating system☆11Updated 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
- Solaris/PPC☆20Updated 10 years ago
- risc-v assembly language☆10Updated 3 years ago
- Convert ELF executables to DOS executables☆32Updated 6 years ago
- Patched Xserver that bridge connections to arcan☆29Updated 3 months ago
- Custom PSP app framework☆15Updated 4 years ago
- fork of PCE focusing on macplus, supporting DaynaPort SCSI network emulation☆10Updated 2 years ago
- NetBSD userland tools☆9Updated 5 years ago
- a bootloader for Multiboot kernels on UEFI systems written in Rust☆20Updated 2 weeks ago
- Eltanin system programming library☆17Updated 2 months ago
- Build /etc/protocols and /etc/services files from IANA's Assigned Internet Protocol Numbers☆24Updated this week
- C string library based on string ends☆19Updated 9 months ago
- Arcan Workbench, Desktop- like script for Arcan [INACTIVE]☆10Updated 7 years ago