librerpi / lk
LK embedded kernel
☆24Updated last month
Alternatives and similar repositories for lk:
Users that are interested in lk are comparing it to the libraries listed below
- rpi-internal-registers☆41Updated 5 years ago
- ☆60Updated 3 years ago
- J-Core SoC Base Platfrom. Top level for FPGA platforms, pulls in CPU, BootROM and various IP blocks.☆22Updated 4 years ago
- Firmware for Alpha emulation under QEMU☆12Updated 3 years ago
- ``Hello World'' for a Little-Endian OpenPower world (freestanding)☆18Updated 8 years ago
- ☆32Updated 4 years ago
- Patches include sunxi platform support and various driver fixes☆41Updated last week
- ☆91Updated 4 months ago
- MUSL libc port for UEFI☆11Updated 7 years ago
- Solaris/PPC☆20Updated 10 years ago
- OSF Mach and MkLinux conservation project☆28Updated 12 years ago
- Etnaviv is a project to build an FOSS driver for the Vivante GCxxx series of embedded GPUs - Tools and reverse engineering repository☆131Updated last week
- xMach (Mach4+Lites) cloned from Sourceforge CVS☆20Updated 7 months ago
- ☆17Updated 7 months ago
- LLVM backend for the J2 Core (Hitachi SuperH SH-2 clone)☆24Updated 7 years ago
- Kexecboot is a nice Linux-As-a-Bootloader implementation based on kexec☆112Updated last year
- ARM Cortex M0 emulator for DOS☆27Updated last year
- Collection of Allwinner firmware binaries and RE tools☆47Updated last year
- Wrapper to Sipeed LicheeRV Nezha CM C906 boot0, opensbi, u-boot, kernel with tiny initramfs☆29Updated 3 years ago
- Mach kernel from 1986☆14Updated 5 years ago
- Allwinner SoCs' 64-bit EL2 barebone☆17Updated 2 years ago
- uefi app/bootloader development sandbox☆15Updated 8 years ago
- J-Core J2/J32 5 stage pipeline CPU core☆51Updated 4 years ago
- This project is about shaping existing GPL Linux kernel drivers for the PVR/SGX5 architecture so that they can become accepted into drive…☆52Updated 3 weeks ago
- Self-contained minimal example of building an EFI app (under 64 bit Linux atm) without external build dependencies.☆60Updated 3 years ago
- Apache NuttX RTOS for Pine64 Star64 64-bit RISC-V SBC (StarFive JH7110)☆26Updated this week
- A hacky userspace v3d driver for the raspberry pi.☆47Updated 10 years ago
- Punchboot☆87Updated last week
- ☆24Updated 3 years ago
- Slimline Open Firware - an implementation of IEEE1275 Open Firmware for some POWER ISA systems☆36Updated 4 months ago