aarch64-laptops / debian-cdimage
☆83Updated 3 years ago
Alternatives and similar repositories for debian-cdimage:
Users that are interested in debian-cdimage are comparing it to the libraries listed below
- Build an Linux OS based image☆241Updated last month
- Linux kernel source tree☆35Updated this week
- Linux kernel source tree☆38Updated 2 years ago
- Kexecboot is a nice Linux-As-a-Bootloader implementation based on kexec☆112Updated last year
- Secure-Launch implementation for Qualcomm devices☆72Updated 2 weeks ago
- Uefi Rockchip Rk3399Pkg☆71Updated 4 years ago
- Utility for collecting valuable information for coreboot☆23Updated 11 months ago
- Tools for Amlogic Meson ARM platforms☆46Updated 4 years ago
- Arch Linux ARM packages for ThinkPad X13s☆14Updated last year
- Linux kernel source tree☆41Updated this week
- ☆90Updated 4 months ago
- Stock firmware recovery packages for Quectel EG25-G☆89Updated 9 months ago
- EDK2 UEFI for Rockchip RK3566 and RK3568 based SBCs.☆168Updated 9 months ago
- Fork of Rockchip's BSP kernel with lots of patches, backports, and custom fixes - currently tested on the RockPi4, Rock64, Rockbox, and R…☆24Updated 2 years ago
- Linux kernel with experimental patches for Tegra☆74Updated last year
- Libre Mainline Kernel and Debian for arm laptops☆122Updated 3 weeks ago
- VDPAU backend driver for NVIDIA Tegra 20/30/114 SoCs☆15Updated 2 years ago
- Firmware Image Package (FIP) sources to sign Amlogic u-boot binaries in LibreELEC, Armbian and meta-meson☆53Updated 5 months ago
- LK embedded kernel☆24Updated last month
- archiso installer customized for the X13s laptop☆59Updated 9 months ago
- Chromium OS build for RockPro64 and Pinebook Pro☆27Updated 5 years ago
- ALSA Use Case Manager configuration☆85Updated this week
- An open source bootloader for the PineTime based on MyNEWT and MCUBoot.☆74Updated 6 months ago
- Unofficial Debian installer for Pinebook Pro☆86Updated 4 years ago
- Tools to manage the Chrome OS bootloader☆29Updated last year
- Linux kernel source tree for Microsoft Dev Kit 2023☆22Updated last year
- Open source VPU side bootloader for Raspberry Pi.☆432Updated last year
- Unofficial Archlinux port to powerpc64le, powerpc64, powerpc and riscv64☆91Updated this week
- Highly experimental port of edk2 for rk3399☆30Updated 4 years ago
- ☆30Updated 3 months ago