genodelabs / genode-rpi
Raspberry Pi family support for Genode OS framework
☆14Updated last month
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☆22Updated last week
- Website for stories around the Genode operating system☆17Updated last month
- Xsdl kdrive server(https://github.com/pelya/xserver-xsdl) for SDL1.2-SIXEL(https://github.com/saitoha/SDL1.2-SIXEL)☆16Updated 10 years ago
- Google Chromium, sans integration with Google - PPC64LE FORK☆17Updated 4 years ago
- An implementation of the hammer2 filesystem for Plan 9☆18Updated 6 years ago
- J-Core SoC Base Platfrom. Top level for FPGA platforms, pulls in CPU, BootROM and various IP blocks.☆22Updated 4 years ago
- Sparc emulator☆10Updated 6 years ago
- Solaris/PPC☆20Updated 10 years ago
- RTOS based on L4 microkernel.☆17Updated 6 years ago
- fork of PCE focusing on macplus, supporting DaynaPort SCSI network emulation☆10Updated 2 years ago
- Linux fork of FreeBSD crunch☆16Updated 13 years ago
- A secure utmp/wtmp implementation☆18Updated 5 months ago
- Convert ELF executables to DOS executables☆31Updated 5 years ago
- Xcode-compatible build tool. Forked for PureDarwin☆13Updated 8 months ago
- Tool to convert plain text to LaTeX, HTML, and other formats☆12Updated 4 months ago
- XT Toolchain☆16Updated 2 months ago
- Unencrypted, UDP-based alternative to the Gemini protocol☆16Updated 6 months ago
- A cute Linda PoC in C++☆10Updated 5 months ago
- Really stupid get-file-over-http program/function☆10Updated 2 years ago
- risc-v assembly language☆10Updated 3 years ago
- C string library based on string ends☆19Updated 8 months ago
- ☆16Updated 7 months ago
- Buildtools for the Haiku operating system. (Pull requests will be ignored; patches may be sent to https://dev.haiku-os.org).☆38Updated 2 months ago
- Coreboot payload for PC Engines APU2 that sort boot order and save it to flash.☆14Updated 4 months ago
- helpers for qemu irix/solaris userland emulation☆16Updated 2 years ago
- Statically linked AppImage runtime and library☆9Updated 3 years ago
- Collection of community-maintained components for Genode☆46Updated last week
- awesome initramfs☆29Updated last month
- Piler for running C in the shell☆22Updated 8 months ago
- FreeDOS standard line editor☆19Updated last year