genodelabs / genode-allwinner
Allwinner SoC support for the Genode OS framework
☆15Updated this week
Alternatives and similar repositories for genode-allwinner:
Users that are interested in genode-allwinner are comparing it to the libraries listed below
- Website for stories around the Genode operating system☆17Updated last month
- Solaris/PPC☆20Updated 10 years ago
- Really stupid get-file-over-http program/function☆10Updated 2 years ago
- Tool for streamlining the development of Genode applications☆22Updated last week
- Haiku port to RISC-V architecture☆22Updated 3 years ago
- Free, libre (CeCill v2, GPL compatible license) re-implementation of OpenVMS.☆12Updated 4 years ago
- Raspberry Pi family support for Genode OS framework☆14Updated last month
- posix compatible lex utility which compiles to ~60KB☆23Updated 2 years ago
- Open Source version of the Netware SMP Operating System (32 bit DOS Loader version)☆16Updated 5 years ago
- This is a portable, open source emulator of the 32-bit Inmos T414/T800/T801/T805 Transputer family, and a host/file I/O Server that inter…☆17Updated 6 months ago
- Slimline Open Firware - an implementation of IEEE1275 Open Firmware for some POWER ISA systems☆36Updated 4 months ago
- A mounting daemon for FreeBSD☆19Updated last year
- RTOS based on L4 microkernel.☆17Updated 6 years ago
- Minix getty☆14Updated 7 years ago
- myLinux is an embedded operating system based on Buildroot and Finit☆83Updated 9 months ago
- mirror of https://review.coreboot.org/libgfxinit.git☆24Updated 8 months ago
- bootable system images, minibase+buildroot☆13Updated 5 years ago
- A user-mode simulator for various version of PDP-11 Unix☆30Updated 8 years ago
- Syllable is an easy-to-use free software operating system for the home and small office user. It is powerful, lightweight and extraordina…☆33Updated 8 years ago
- ☆24Updated 3 years ago
- Sun's OpenBoot implementation of OpenFirmware☆52Updated 9 years ago
- pad's fork of ken thompson plan9 C compilers https://code.google.com/p/ken-cc/☆31Updated 11 months ago
- Intel Itanium (ia64) Linux user target for Qemu☆32Updated 13 years ago
- Minimal PID 1 for initramfs☆15Updated 2 months ago
- 68k port of the PDP-11 version of Comer's Xinu operating system☆16Updated 9 years ago
- POSIX-overlay filesystem☆14Updated 7 years ago
- My notes about 9front, a fork of Plan 9 from Bell Labs.☆10Updated 2 months ago
- Homemade UNIX-like operating system☆13Updated last year
- OS108 is a fast, open and Secure Desktop Operating System built on top of NetBSD.☆66Updated 4 years ago
- FreeVMS (0.3.17 release continued), the only working one☆38Updated 2 months ago