librerpi / lkLinks
LK embedded kernel
☆26Updated 10 months ago
Alternatives and similar repositories for lk
Users that are interested in lk are comparing it to the libraries listed below
Sorting:
- Solaris/PPC☆21Updated 11 years ago
- Firmware for Alpha emulation under QEMU☆13Updated 4 years ago
- rpi-internal-registers☆41Updated 6 years ago
- Slimline Open Firware - an implementation of IEEE1275 Open Firmware for some POWER ISA systems☆41Updated 5 months ago
- A port of the GNU toolchain to the Raspberry Pi's VideoCore4 processor.☆142Updated 4 years ago
- J-Core SoC Base Platfrom. Top level for FPGA platforms, pulls in CPU, BootROM and various IP blocks.☆26Updated 5 years ago
- MUSL libc port for UEFI☆11Updated 8 years ago
- ☆96Updated 2 weeks ago
- Etnaviv is a project to build an FOSS driver for the Vivante GCxxx series of embedded GPUs - Tools and reverse engineering repository☆142Updated 2 months ago
- Haiku port to RISC-V architecture☆24Updated 4 years ago
- Allwinner SoCs' 64-bit EL2 barebone☆17Updated 3 years ago
- ☆38Updated 7 months ago
- ☆49Updated last month
- Simple boot-over-serial bootloader for the Raspberry Pi☆146Updated 4 years ago
- ☆62Updated 4 years ago
- xMach (Mach4+Lites) cloned from Sourceforge CVS☆23Updated last year
- Self-contained minimal example of building an EFI app (under 64 bit Linux atm) without external build dependencies.☆61Updated 4 years ago
- UEFI boot loader☆80Updated 3 years ago
- Apache NuttX RTOS for PinePhone☆101Updated last week
- buildroot fork☆38Updated 3 weeks ago
- A small X server, based on Xorg 1.2 but with security fixes.☆101Updated 10 years ago
- OSF Mach and MkLinux conservation project☆30Updated 13 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…☆37Updated 8 years ago
- A little toy OS written over a few months in 2019. 64-bit, preemptive multitasking kernel supporting EFI, PCIe, SATA, framebuffer graphic…☆42Updated 5 years ago
- Mach kernel from 1986☆18Updated 6 years ago
- libslirp for Linux made easy peasy☆31Updated 3 months ago
- Notes on the AVR architecture☆20Updated 5 years ago
- Peephole optimizer for QBE☆31Updated 3 months ago
- Embedded Base Boot Requirements Specification☆123Updated 3 weeks ago
- My coreboot work☆23Updated 15 years ago