thierryreding / linux
Linux kernel source tree
☆9Updated 6 months ago
Related projects: ⓘ
- ☆17Updated last month
- Small busybox based rootfs☆27Updated 5 years ago
- ☆18Updated 3 months ago
- Utility for collecting valuable information for coreboot☆20Updated 6 months ago
- VDPAU backend driver for NVIDIA Tegra 20/30/114 SoCs☆15Updated 2 years ago
- ☆16Updated 2 years ago
- Linux kernel source tree for Microsoft Dev Kit 2023☆23Updated last year
- ☆11Updated 2 years ago
- QSPI flash multiplexer - connect a SPI NOR flash to either an embedded system or a programmer for remote firmware tests☆49Updated 3 years ago
- Collection of debos recipes☆46Updated 2 months ago
- Open Source Firmware Continuous Integration source code☆22Updated 3 weeks ago
- ☆59Updated 3 years ago
- Coreboot payload for PC Engines APU2 that sort boot order and save it to flash.☆14Updated 2 months ago
- ☆14Updated 2 years ago
- ☆44Updated last month
- ☆11Updated 3 years ago
- NixOS on Allwinner D1 RISC-V☆36Updated last year
- ☆24Updated 2 years ago
- Tegra X1 EL2 freestanding demo☆12Updated 5 years ago
- A Linux only tool for TPM interaction☆34Updated 2 years ago
- ☆62Updated last year
- Patches include sunxi platform support and various driver fixes☆39Updated 7 months ago
- Arch Linux ARM packages for ThinkPad X13s☆15Updated last year
- 42bsd scripts to build and run inside simh☆9Updated 3 years ago
- Little Kernel Application bootloader for Quectel EG25☆29Updated 2 years ago
- Framework for automatic firmware reverse-engineering written in golang☆30Updated 4 years ago
- Bare-metal Rust explorations of the Allwinner D1☆15Updated last year
- Patches include sunxi platform support and various driver fixes☆80Updated 10 months ago
- Flashing the BIOS on an Intel Joule 570x from Linux☆22Updated last year
- ☆19Updated 11 months ago