andreiw / RaspberryPiPkg
DEPRECATED - DO NOT USE | Go here instead ->
☆744Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for RaspberryPiPkg
- WOA Deployer for Raspberry Pi☆967Updated 2 years ago
- This repository was deprecated, use:☆849Updated 5 years ago
- A 64-bit OS for the Raspberry Pi 3☆713Updated 4 years ago
- Build your Chromium OS for Raspberry Pi 4B, Pi400 and the latest Raspberry Pi 5☆1,691Updated last week
- Raspberry Pi 4 UEFI Firmware Images☆1,214Updated 2 months ago
- Hello, Raspberry Pi Windows 10 world!☆38Updated 6 years ago
- Making your Lumias great again!☆481Updated last year
- Windows on ARM device drivers for the Raspberry Pi single-board computer.☆340Updated 11 months ago
- Guides relevant to WOA☆110Updated 2 years ago
- Berryboot -- Boot menu / OS installer☆808Updated 5 months ago
- Firmware files for the Raspberry Pi☆778Updated 3 years ago
- EDK II sample platform branches and tags☆557Updated this week
- Raspberry Pi 3 UEFI Firmware Images☆278Updated last year
- Firmware repository for Silead touchscreen controllers☆323Updated 2 weeks ago
- Please file issues at: https://github.com/MicrosoftDocs/windows-iotcore-docs☆98Updated 5 years ago
- VK driver for the Raspberry Pi (Broadcom Videocore IV)☆1,229Updated 3 years ago
- ☆184Updated 3 months ago
- Box86 - Linux Userspace x86 Emulator with a twist, targeted at ARM Linux devices☆3,368Updated this week
- Raspberry Pi USB booting code, moved from tools repository☆926Updated this week
- EFI FileSystem drivers☆527Updated 5 months ago
- Build a Debian-based ARM64 system for Raspberry Pi 3 (and 3 B+ ?)☆93Updated 5 years ago
- Raspberry Pi utility. Used for mirror primary framebuffer to secondary framebuffer.☆329Updated 4 years ago
- The official build system for Orange Pi, support A64, RDA, RK3399☆356Updated 3 years ago
- GRUB2-based file manager☆528Updated last year
- ☆199Updated 4 years ago
- Debian Kernel source for Tinker Board☆143Updated last year
- Source code for ARM side libraries for interfacing to Raspberry Pi GPU.☆2,050Updated last year
- Build an Linux OS based image☆235Updated last week
- Fixes "Bug" in Nvidia Driver preventing "Unsupported Configurations" from being used on KVM☆316Updated 3 years ago
- Bootable 64-bit Gentoo image for the Raspberry Pi4B, 3B & 3B+, with Linux 5.4, OpenRC, Xfce4, VC4/V3D, camera and h/w codec support, wee…☆918Updated 4 years ago