aarch64-laptops / buildLinks
Build an Linux OS based image
☆251Updated last week
Alternatives and similar repositories for build
Users that are interested in build are comparing it to the libraries listed below
Sorting:
- ☆82Updated 3 years ago
- Linux kernel source tree☆38Updated 3 years ago
- Secure-Launch implementation for Qualcomm devices☆93Updated 2 months ago
- Uefi Rockchip Rk3399Pkg☆72Updated 4 years ago
- Linux kernel source tree☆37Updated this week
- EDK2 UEFI for Rockchip RK3566 and RK3568 based SBCs.☆190Updated last year
- Raspberry Pi 3 UEFI Firmware Images☆293Updated 2 years ago
- Linux kernel with experimental patches for Tegra☆82Updated 2 years ago
- Extract embedded VBIOS from (almost) any BIOS Update. the hail-mary way☆146Updated last year
- Tools to manage the Chrome OS bootloader☆32Updated last year
- Linux kernel source tree☆62Updated 2 weeks ago
- ☆291Updated last week
- running linux mainline on arm chromebooks - for example: samsung xe303c12 and xe503c12 (snow and peach), acer c100, c101 and c201 (veyron…☆213Updated last year
- ☆237Updated 2 months ago
- velvet os - simple script framework to build ubuntu 22.04 lts jammy (in older versions also 20.04 lts focal) and debian 12 bookworm (in o…☆370Updated this week
- Kexecboot is a nice Linux-As-a-Bootloader implementation based on kexec☆126Updated 5 months ago
- Linux kernel module to use UEFI Block IO Protocol devices. Probably not a good idea.☆84Updated 3 years ago
- Tracking and meta repository for Surface Pro X support.☆92Updated 3 years ago
- Linux kernel source tree for Windows Dev Kit 2023☆56Updated 2 weeks ago
- Highly experimental port of edk2 for rk3399☆32Updated 4 years ago
- An opinionated distribution of U-Boot. — https://matrix.to/#/#Tow-Boot:matrix.org?via=matrix.org☆614Updated 8 months ago
- Stock firmware recovery packages for Quectel EG25-G☆97Updated last year
- OpenGL ICD for Virtio-GPU Windows driver☆97Updated 2 years ago
- Everything about running Linux on Thinkpad X13s (powered by Qualcomm SC8280XP)☆59Updated 2 years ago
- ☆515Updated last year
- Libre Mainline Kernel and Debian for arm laptops☆127Updated 7 months ago
- SCP (power management) firmware for sunxi SoCs☆163Updated 6 months ago
- ☆348Updated last month
- Open source VPU side bootloader for Raspberry Pi.☆441Updated last month
- GUD USB Display☆173Updated last year