thierryreding / linux
Linux kernel source tree
☆9Updated 3 months ago
Alternatives and similar repositories for linux:
Users that are interested in linux are comparing it to the libraries listed below
- Small busybox based rootfs☆28Updated 6 years ago
- ☆17Updated last month
- Linux kernel source tree for Microsoft Dev Kit 2023☆22Updated last year
- VDPAU backend driver for NVIDIA Tegra 20/30/114 SoCs☆15Updated 2 years ago
- Ampere EDK II implementation for Ampere's arm64 SoCs☆22Updated 2 months ago
- Tools for Amlogic Meson ARM platforms☆45Updated 4 years ago
- Flashing the BIOS on an Intel Joule 570x from Linux☆23Updated last year
- Bare-metal Rust explorations of the Allwinner D1☆15Updated 2 years ago
- Coreboot payload for PC Engines APU2 that sort boot order and save it to flash.☆14Updated last month
- 42bsd scripts to build and run inside simh☆9Updated 4 years ago
- U-Boot with Atmel's I2C TPM, libTLCL, and libsboot (Secure Boot)☆18Updated 9 years ago
- Automatically configure Wireguard interfaces in distributed system. It supports Consul as backend.☆12Updated 4 years ago
- QSPI flash multiplexer - connect a SPI NOR flash to either an embedded system or a programmer for remote firmware tests☆50Updated 4 years ago
- The SparkFun RED-V Thing Plus is a low-cost, development board featuring the Freedom E310 SoC which brings with it the RISC-V instruction…☆13Updated 5 years ago
- ☆16Updated 2 years ago
- Utility for collecting valuable information for coreboot☆22Updated 10 months ago
- Tegra X1 EL2 freestanding demo☆12Updated 6 years ago
- ☆36Updated 8 months ago
- SSH agent using TPM 2.0☆20Updated 2 months ago
- A Linux only tool for TPM interaction☆36Updated 2 years ago
- Scripts to build basic images for LX2160A COM express type 7 modules☆59Updated 2 weeks ago
- TCP/IPv6-enabled Pine64+ bootloader☆13Updated 7 years ago
- Collection of debos recipes☆48Updated 6 months ago
- ☆22Updated 7 months ago
- Software update mixer and related tools☆28Updated last week
- ☆46Updated last month
- q3k's hardware monorepo☆16Updated 2 years ago
- Enabling Secure Boot on the RK3588 family of SoCs☆39Updated last week
- ☆59Updated 3 years ago
- ☆30Updated last month