genodelabs / genode-allwinner
Allwinner SoC support for the Genode OS framework
☆13Updated 2 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for genode-allwinner
- Website for stories around the Genode operating system☆17Updated 3 months ago
- Tool for streamlining the development of Genode applications☆21Updated this week
- mirror of https://review.coreboot.org/libgfxinit.git☆22Updated 3 months ago
- Coreboot payload for PC Engines APU2 that sort boot order and save it to flash.☆14Updated last week
- ☆24Updated 3 years ago
- siblynx's uinit -- smallest init possible☆21Updated 7 years ago
- Collection of community-maintained components for Genode☆45Updated this week
- Raspberry Pi family support for Genode OS framework☆13Updated this week
- ☆20Updated 5 years ago
- PC Engines firmware builder based on coreboot-sdk☆12Updated 2 weeks ago
- RTOS based on L4 microkernel.☆17Updated 6 years ago
- ☆12Updated 2 years ago
- Solaris/PPC☆19Updated 10 years ago
- tiny embedded MIPS virtualization platform - a very small and lean hypervisor using MIPS R5 hardware VZ option for embedded systems (IoT …☆19Updated last year
- KBoot boot loader☆25Updated 5 months ago
- POSIX-overlay filesystem☆14Updated 6 years ago
- Wind River Linux Setup -- Distribution Build Project Assembler☆12Updated 5 years ago
- myLinux is an embedded operating system based on Buildroot and Finit☆81Updated 4 months ago
- Google Chromium, sans integration with Google - PPC64LE FORK☆18Updated 3 years ago
- Resize FAT partitions using libparted☆14Updated 7 months ago
- Custom PSP app framework☆15Updated 3 years ago
- ☆36Updated 6 months ago
- Scripts to build the Linux kernel from a config file and initrd from a list of programs☆21Updated last year
- Out-of-tree version of Linux' kconfig tool☆14Updated 5 months ago
- ☆18Updated 3 years ago
- aoe driver for Linux with backward compatibility build system☆26Updated 7 years ago
- Simplified version of flashrom for installing new system firmware☆18Updated last year
- NOVA Microhypervisor☆8Updated this week
- A development util for ehci debug and spi flashing. See http://www.coreboot.org/BBB_screwdriver☆20Updated 7 years ago
- A mounting daemon for FreeBSD☆19Updated 11 months ago