librerpi / lkLinks
LK embedded kernel
☆26Updated 8 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
- A port of the GNU toolchain to the Raspberry Pi's VideoCore4 processor.☆140Updated 4 years ago
- rpi-internal-registers☆41Updated 6 years ago
- Firmware for Alpha emulation under QEMU☆13Updated 4 years ago
- Haiku port to RISC-V architecture☆23Updated 4 years ago
- J-Core SoC Base Platfrom. Top level for FPGA platforms, pulls in CPU, BootROM and various IP blocks.☆25Updated 4 years ago
- uefi app/bootloader development sandbox☆15Updated 9 years ago
- Self-contained minimal example of building an EFI app (under 64 bit Linux atm) without external build dependencies.☆60Updated 4 years ago
- Slimline Open Firware - an implementation of IEEE1275 Open Firmware for some POWER ISA systems☆41Updated 3 months ago
- ☆38Updated 5 months ago
- Apache NuttX RTOS for PinePhone☆100Updated this week
- MUSL libc port for UEFI☆11Updated 8 years ago
- UEFI boot loader☆80Updated 3 years ago
- ``Hello World'' for a Little-Endian OpenPower world (freestanding)☆19Updated 9 years ago
- Simple boot-over-serial bootloader for the Raspberry Pi☆146Updated 4 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 3 weeks ago
- Simplest possible code to demonstrate RPi 3 running AArch64 code☆41Updated 9 years ago
- SiFive OpenEmbedded / Yocto BSP Layer☆54Updated 2 weeks ago
- xMach (Mach4+Lites) cloned from Sourceforge CVS☆22Updated last year
- J-Core J2/J32 5 stage pipeline CPU core☆54Updated 4 years ago
- My coreboot work☆23Updated 15 years ago
- Embedded Base Boot Requirements Specification☆122Updated 3 weeks ago
- ARM Cortex M0 emulator for DOS☆29Updated last year
- 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
- Moved to SourceHut☆23Updated 2 years ago
- Sled System Emulator☆28Updated 2 weeks ago
- ☆49Updated last week
- Peephole optimizer for QBE☆31Updated last month
- CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…☆55Updated 3 years ago
- RTOS based on L4 microkernel.☆18Updated 7 years ago