librerpi / lkLinks
LK embedded kernel
☆26Updated last year
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
- A port of the GNU toolchain to the Raspberry Pi's VideoCore4 processor.☆144Updated 4 years ago
- J-Core SoC Base Platfrom. Top level for FPGA platforms, pulls in CPU, BootROM and various IP blocks.☆28Updated 5 years ago
- Slimline Open Firware - an implementation of IEEE1275 Open Firmware for some POWER ISA systems☆41Updated 7 months ago
- Firmware for Alpha emulation under QEMU☆13Updated 4 years ago
- rpi-internal-registers☆41Updated 6 years ago
- Haiku port to RISC-V architecture☆24Updated 4 years ago
- ☆98Updated 2 months ago
- ☆62Updated 4 years ago
- xMach (Mach4+Lites) cloned from Sourceforge CVS☆23Updated last year
- Apache NuttX RTOS for PinePhone☆102Updated this week
- Allwinner SoCs' 64-bit EL2 barebone☆17Updated 3 years ago
- ☆39Updated 9 months ago
- Kexecboot is a nice Linux-As-a-Bootloader implementation based on kexec☆128Updated 9 months ago
- Etnaviv is a project to build an FOSS driver for the Vivante GCxxx series of embedded GPUs - Tools and reverse engineering repository☆143Updated 3 weeks ago
- Qemu support for target processor 6502☆25Updated 13 years ago
- Mach kernel from 1986☆18Updated 6 years ago
- UEFI boot loader☆80Updated 3 years ago
- OpenPOWER / Open Compute Server, based upon POWER9☆32Updated 7 years ago
- My coreboot work☆23Updated 15 years ago
- Alpha Motherboards Software Developer’s Kit tools☆15Updated 2 weeks ago
- Peephole optimizer for QBE☆32Updated 5 months 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
- Patches include sunxi platform support and various driver fixes☆43Updated 2 months 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…☆21Updated 2 weeks ago
- MUSL libc port for UEFI☆11Updated 8 years ago
- ARM Cortex M0 emulator for DOS☆29Updated 2 years ago
- 2.11BSD_X44. A 2.11BSD that implements 4.4BSD's (Lite 2) vm and vnodes☆54Updated this week
- SMP implementation in GNU Mach☆29Updated last year
- Build scripts for creating a Debian GNU/Linux image for the Lichee RV RISC-V board☆14Updated last year