raspberrypi-uefi-edk2-vagrant

Raspberry Pi 4 UEFI EDK2 build environment inside a vagrant box

Stars
7
View Code on GitHub View on X
Ecosystems: Raspberry Pi

No README available, please check again later.

Related Projects
Leo

Leo Hypervisor. ARM64 Hypervisor on Raspberry Pi 4 machine.

28 Oct 2021 28
evisor

Light-weight Bare Metal Hypervisor (Type 1) written in C++

04 May 2023 53
rpi23-gen-image

Advanced Debian "stretch" and "buster" bootstrap script for RPi 0/1/2/3 and QEMU

03 Dec 2015 305
tinkerbell-vagrant

Vagrant Environment for playing with Tinkerbell for provisioning AMD64 and ARM64 machines

22 May 2020 19
RPi4

Raspberry Pi 4 UEFI Firmware Images

27 Nov 2019 1,196
pi-gen-micro

A tool for building minimal Raspberry Pi OS-based operating systems, which do not contain apt or ...

20 Aug 2024 4
RPi3

Raspberry Pi 3 UEFI Firmware Images

19 Jul 2019 276
rpi4-uefi-ipxe

UEFI iPXE for the Raspberry Pi 4 ARM64

28 Jun 2021 14
RPi-arm64

Build a Debian-based ARM64 system for Raspberry Pi 3 (and 3 B+ ?)

13 Jan 2018 94
usbbootgui

GUI for booting a Raspberry Pi device like Pi Zero or compute module as a device

27 Jul 2017 77
usbboot

Raspberry Pi USB booting code, moved from tools repository

03 Oct 2016 915
simonpi

A quick & dirty script to emulate Raspberry PI family devices on your laptop.

24 Oct 2017 65
qemu-rpi2-vexpress

QEMU emulation ARMv7

25 Sep 2016 22
RaspberryPiPkg

DEPRECATED - DO NOT USE | Go here instead ->

14 Dec 2017 745
edi-pi

Debian tool chain and image generation for Raspberry Pi 2, 3, 4 and 5.

14 Oct 2017 49