worproject / edk2-platforms
edk2-platforms fork for RPi 5 dev ----- Binary releases here -> https://github.com/worproject/rpi5-uefi
☆13Updated 8 months ago
Related projects ⓘ
Alternatives and complementary repositories for edk2-platforms
- ☆20Updated 2 years ago
- LK embedded kernel☆24Updated 3 weeks ago
- Ultra low cost HDMI-USB Video Acquisition (HDMI Capture Card) based on MS2109☆54Updated 2 years ago
- ☆16Updated 2 years ago
- ☆36Updated 6 months ago
- Highly experimental port of edk2 for rk3399☆30Updated 3 years ago
- Allwinner SoCs' 64-bit EL2 barebone☆16Updated 2 years ago
- ☆60Updated 3 years ago
- VDPAU backend driver for NVIDIA Tegra 20/30/114 SoCs☆15Updated 2 years ago
- A PCB for putting a Raspberry Pi CM4 inside a 1st-generation iPad.☆53Updated last year
- Documenting the USB packet format of the WCH CH347☆14Updated 2 years ago
- ☆25Updated 4 years ago
- Boot Shim with a Tegra 3 (Surface RT) specific patch☆12Updated 4 years ago
- Experimental APFS tools for linux☆100Updated 2 weeks ago
- USB-C Power Delivery VDM exploration tool for Arduino☆106Updated 10 months ago
- FreeBSD on StarFive VisionFive 2☆32Updated last year
- "Das U-Boot" Source Tree☆15Updated last year
- Secure-Launch implementation for Qualcomm devices☆54Updated last month
- ☆19Updated last year
- EDK2 ...but for other ARM SoCs!?!?!☆9Updated 10 years ago
- Experiments on the RP1☆55Updated last year
- Adding support s5l89xx support to QEMU☆14Updated 12 years ago
- build mainline SBI and Linux for allwinner D1 nezha board☆10Updated 3 years ago
- Linux kernel with experimental patches for Tegra. (Microsoft Surface RT, Microsoft Surface 2, Lenovo Ideapad Yoga 11)☆22Updated 8 months ago
- Uefi Rockchip Rk3399Pkg☆71Updated 3 years ago
- EDK2 UEFI for Rockchip RK3566 and RK3568 based SBCs.☆158Updated 5 months ago
- ☆14Updated 4 years ago
- ☆14Updated 2 years ago
- wip 3/4 stuff☆14Updated 4 years ago
- USB/IP Server/Client/Userspace Implementations☆42Updated last year