genodelabs / genode-rpi
Raspberry Pi family support for Genode OS framework
☆13Updated last week
Related projects ⓘ
Alternatives and complementary repositories for genode-rpi
- Tool for streamlining the development of Genode applications☆21Updated this week
- Website for stories around the Genode operating system☆17Updated 3 months ago
- Allwinner SoC support for the Genode OS framework☆13Updated last week
- Collection of community-maintained components for Genode☆45Updated last week
- Tool to convert plain text to LaTeX, HTML, and other formats☆11Updated this week
- Patched Xserver that bridge connections to arcan☆25Updated 3 weeks ago
- Darling's userspace kernel server (much like Wine's wineserver)☆14Updated 2 months ago
- RTOS based on L4 microkernel.☆17Updated 6 years ago
- Xsdl kdrive server(https://github.com/pelya/xserver-xsdl) for SDL1.2-SIXEL(https://github.com/saitoha/SDL1.2-SIXEL)☆14Updated 10 years ago
- Utility for collecting valuable information for coreboot☆21Updated 7 months ago
- An implementation of the hammer2 filesystem for Plan 9☆18Updated 5 years ago
- Google Chromium, sans integration with Google - PPC64LE FORK☆18Updated 3 years ago
- C string library based on string ends☆18Updated 3 months ago
- ☆9Updated 2 years ago
- NetBSD's wtf(6) adapted for Void Linux☆16Updated 7 months ago
- Coreboot payload for PC Engines APU2 that sort boot order and save it to flash.☆14Updated this week
- Image creation tooling☆40Updated last week
- A standalone library to implement GNU libc's obstack☆20Updated last year
- XT Toolchain☆14Updated 2 months ago
- Eltanin system programming library☆17Updated last week
- Build system for EasyOS, Quirky Linux and classical Puppy Linux☆22Updated this week
- This is a fork of x49gp which compiles on Ubuntu 12.04☆14Updated 2 years ago
- Peephole optimizer for cproc and QBE☆23Updated 2 years ago
- A set of utilities to process FCODE, OpenFirmware's byte code☆31Updated 3 months ago
- mirror of https://review.coreboot.org/libgfxinit.git☆22Updated 3 months ago
- Lua for Plan 9 space☆21Updated last month
- Sparc emulator☆10Updated 6 years ago
- Software Station is the future software manager for GhostBSD using pkgng.☆11Updated 4 months ago
- bootable system images, minibase+buildroot☆13Updated 4 years ago
- Standalone portable header-based implementation of FORTIFY_SOURCE=3☆18Updated 2 weeks ago