aarch64-laptops / build
Build an Linux OS based image
☆239Updated last week
Alternatives and similar repositories for build:
Users that are interested in build are comparing it to the libraries listed below
- ☆82Updated 3 years ago
- Linux kernel source tree☆34Updated this week
- Raspberry Pi 3 UEFI Firmware Images☆283Updated last year
- Linux kernel source tree☆39Updated last week
- Secure-Launch implementation for Qualcomm devices☆66Updated 2 months ago
- ☆220Updated 3 weeks ago
- Tools to manage the Chrome OS bootloader☆29Updated 10 months ago
- Extract embedded VBIOS from (almost) any BIOS Update. the hail-mary way☆142Updated last year
- EDK2 UEFI for Rockchip RK3566 and RK3568 based SBCs.☆164Updated 7 months ago
- Linux kernel source tree☆38Updated 2 years ago
- Linux kernel module to use UEFI Block IO Protocol devices. Probably not a good idea.☆76Updated 2 years ago
- Porting the upstream Linux kernel to the LG Nexus 5 phone (msm8974).☆65Updated 2 years ago
- Uefi Rockchip Rk3399Pkg☆71Updated 4 years ago
- ☆513Updated 3 months ago
- running linux mainline on arm chromebooks - for example: samsung xe303c12 and xe503c12 (snow and peach), acer c100, c101 and c201 (veyron…☆175Updated 6 months ago
- Linux kernel with experimental patches for Tegra☆73Updated last year
- ☆262Updated this week
- VBIOS for Intel GPU Passthrough☆205Updated last year
- Kexecboot is a nice Linux-As-a-Bootloader implementation based on kexec☆110Updated last year
- archiso installer customized for the X13s laptop☆58Updated 7 months ago
- OpenGL ICD for Virtio-GPU Windows driver☆89Updated last year
- Everything about running Linux on Thinkpad X13s (powered by Qualcomm SC8280XP)☆58Updated last year
- Stock firmware recovery packages for Quectel EG25-G☆86Updated 8 months ago
- Optimus (Non-MXM/Muxless/"3D Controller") passthrough testing notes☆117Updated 7 years ago
- EDK II☆38Updated this week
- Deprecated, new place: https://gitlab.freedesktop.org/lima☆163Updated 6 years ago
- GUD USB Display☆167Updated last year
- ogon session manager and RDP server☆128Updated 2 years ago
- Tools and libraries to work with EFI variables☆248Updated 5 months ago
- Linux kernel source tree for Microsoft Dev Kit 2023☆22Updated last year