aarch64-laptops / buildLinks
Build an Linux OS based image
☆258Updated last month
Alternatives and similar repositories for build
Users that are interested in build are comparing it to the libraries listed below
Sorting:
- ☆86Updated 4 years ago
- Secure-Launch implementation for Qualcomm devices☆106Updated 3 months ago
- Linux kernel source tree☆38Updated 3 years ago
- Linux kernel source tree☆39Updated 2 weeks ago
- Raspberry Pi 3 UEFI Firmware Images☆305Updated 2 months ago
- EDK2 UEFI for Rockchip RK3566 and RK3568 based SBCs.☆203Updated last year
- Uefi Rockchip Rk3399Pkg☆74Updated 5 years ago
- ☆246Updated 3 weeks ago
- Linux kernel source tree☆65Updated 4 months ago
- Extract embedded VBIOS from (almost) any BIOS Update. the hail-mary way☆152Updated 2 years ago
- Linux kernel module to use UEFI Block IO Protocol devices. Probably not a good idea.☆86Updated 3 years ago
- Tools to manage the Chrome OS bootloader☆30Updated last year
- Kexecboot is a nice Linux-As-a-Bootloader implementation based on kexec☆128Updated 9 months ago
- Linux kernel with experimental patches for Tegra☆81Updated 2 years ago
- running linux mainline on arm chromebooks - for example: samsung xe303c12 and xe503c12 (snow and peach), acer c100, c101 and c201 (veyron…☆232Updated last year
- ☆518Updated last year
- Open source VPU side bootloader for Raspberry Pi.☆455Updated 5 months ago
- library for interacting with Dell SMBIOS tables☆215Updated 2 years ago
- Linux kernel source tree for Windows Dev Kit 2023☆66Updated last week
- OpenGL ICD for Virtio-GPU Windows driver☆94Updated 2 years ago
- Tracking and meta repository for Surface Pro X support.☆95Updated 3 years ago
- Highly experimental port of edk2 for rk3399☆33Updated 5 years ago
- ☆305Updated this week
- velvet os - simple script framework to build debian 13 trixie (in older versions also 12/bookworm, 11/bullseye and some ubuntu) bootable …☆395Updated last week
- Optimus (Non-MXM/Muxless/"3D Controller") passthrough testing notes☆120Updated 8 years ago
- Utility for collecting valuable information for coreboot☆25Updated 10 months ago
- EFI FileSystem drivers☆612Updated last year
- Everything about running Linux on Thinkpad X13s (powered by Qualcomm SC8280XP)☆59Updated 2 years ago
- GUD USB Display☆178Updated 2 years ago
- EFI driver that finds and installs DeviceTree into the UEFI configuration table.☆34Updated 2 weeks ago