librerpi / lkLinks
LK embedded kernel
☆26Updated 7 months ago
Alternatives and similar repositories for lk
Users that are interested in lk are comparing it to the libraries listed below
Sorting:
- A port of the GNU toolchain to the Raspberry Pi's VideoCore4 processor.☆140Updated 4 years ago
- Firmware for Alpha emulation under QEMU☆13Updated 4 years ago
- rpi-internal-registers☆41Updated 6 years ago
- Solaris/PPC☆21Updated 11 years ago
- Etnaviv is a project to build an FOSS driver for the Vivante GCxxx series of embedded GPUs - Tools and reverse engineering repository☆141Updated this week
- Allwinner SoCs' 64-bit EL2 barebone☆17Updated 3 years ago
- Slimline Open Firware - an implementation of IEEE1275 Open Firmware for some POWER ISA systems☆40Updated 3 months ago
- J-Core SoC Base Platfrom. Top level for FPGA platforms, pulls in CPU, BootROM and various IP blocks.☆25Updated 4 years ago
- Open source Tegra 2/3/4 2D/3D user-space developer tools☆87Updated last year
- ☆94Updated last month
- Qemu support for target processor 6502☆22Updated 13 years ago
- A hacky userspace v3d driver for the raspberry pi.☆47Updated 11 years ago
- adding Irix (and, to a lesser extend, Solaris) userland emulation to QEMU☆46Updated 3 months ago
- My coreboot work☆23Updated 14 years ago
- xMach (Mach4+Lites) cloned from Sourceforge CVS☆22Updated last year
- Alpha Motherboards Software Developer’s Kit tools☆14Updated 6 months ago
- Alan Snyder's portable C Compiler☆15Updated 6 years ago
- ☆61Updated 4 years ago
- ARM Cortex M0 emulator for DOS☆29Updated last year
- Build scripts for creating a Debian GNU/Linux image for the Lichee RV RISC-V board☆13Updated last year
- ☆38Updated 5 months ago
- OpenPOWER / Open Compute Server, based upon POWER9☆31Updated 7 years ago
- ``Hello World'' for a Little-Endian OpenPower world (freestanding)☆19Updated 8 years ago
- ☆49Updated 4 months ago
- Self-contained minimal example of building an EFI app (under 64 bit Linux atm) without external build dependencies.☆60Updated 4 years ago
- Chadderz's Simple USB Driver for Raspberry Pi☆211Updated 5 years ago
- OSF Mach and MkLinux conservation project☆30Updated 12 years ago
- Sled System Emulator☆28Updated 5 months ago
- A small X server, based on Xorg 1.2 but with security fixes.☆101Updated 9 years ago
- SMP implementation in GNU Mach☆26Updated last year