aarch64-laptops / build
Build an Linux OS based image
☆245Updated last month
Alternatives and similar repositories for build
Users that are interested in build are comparing it to the libraries listed below
Sorting:
- ☆83Updated 3 years ago
- Secure-Launch implementation for Qualcomm devices☆80Updated 2 months ago
- Linux kernel source tree☆36Updated last week
- Linux kernel source tree☆38Updated 2 years ago
- Kexecboot is a nice Linux-As-a-Bootloader implementation based on kexec☆116Updated 2 weeks ago
- Linux kernel source tree☆51Updated 2 weeks ago
- Linux kernel module to use UEFI Block IO Protocol devices. Probably not a good idea.☆80Updated 3 years ago
- Tools to manage the Chrome OS bootloader☆30Updated last year
- Uefi Rockchip Rk3399Pkg☆71Updated 4 years ago
- ☆511Updated 7 months ago
- Extract embedded VBIOS from (almost) any BIOS Update. the hail-mary way☆144Updated last year
- Raspberry Pi 3 UEFI Firmware Images☆286Updated last year
- Linux kernel with experimental patches for Tegra☆77Updated last year
- archiso installer customized for the X13s laptop☆59Updated 11 months ago
- OpenGL ICD for Virtio-GPU Windows driver☆93Updated last year
- The CacULE CPU scheduler is based on interactivity score mechanism. The interactivity score is inspired by the ULE scheduler (FreeBSD sch…☆262Updated 3 years ago
- Porting the upstream Linux kernel to the LG Nexus 5 phone (msm8974).☆67Updated 2 years ago
- Developer tooling framework☆59Updated this week
- VBIOS for Intel GPU Passthrough☆43Updated last year
- Tools to let a u-root instance boot signed live distro images over the web☆109Updated 2 years ago
- ☆66Updated 3 years ago
- Script to generate an OVMF vars file with default secure boot key enrolled.☆89Updated 2 years ago
- Everything about running Linux on Thinkpad X13s (powered by Qualcomm SC8280XP)☆58Updated last year
- Hacked RosettaLinux that runs on Asahi Linux☆135Updated 2 years ago
- Highly experimental port of edk2 for rk3399☆31Updated 4 years ago
- EDK2 UEFI for Rockchip RK3566 and RK3568 based SBCs.☆177Updated 11 months ago
- GUD USB Display☆170Updated last year
- [DEPRECATED] Linux kernel source with OnePlus 5 (cheeseburger) / 5T (dumpling) mainlining efforts☆44Updated 2 years ago
- Reference Drivers for Select Qualcomm Reference Platforms found on Windows Update☆124Updated 2 months ago
- Open source VPU side bootloader for Raspberry Pi.☆433Updated 2 weeks ago