slp / rpi2-hyp-boot
Raspberry Pi 2 bootloader for starting the cores in HYP mode
☆31Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for rpi2-hyp-boot
- Some code to bruteforce OpenBSD softraid encrypted drives - NOT A READY-TO-USE TOOL☆57Updated 8 years ago
- An open source miniPCIe development board based on the Xilinx Spartan 6 LX150T☆141Updated 8 years ago
- GRand Unified Bootloader http://www.gnu.org/software/grub/grub.html☆38Updated 7 years ago
- CFFI-Based Python Bindings for FreeBSD libgpio☆22Updated 4 years ago
- The "State considered harmful" paper☆104Updated 8 years ago
- Various articles I've written☆115Updated last year
- Creates a custom BOOTX64.EFI from a linux kernel, initrd and kernel cmdline☆49Updated 9 years ago
- uclibc build environment for predictable and repeatable building of binary packages☆56Updated 7 years ago
- a tiny, custom launcher that handles namespacing, control groups, chroot'ing, and more☆55Updated 2 years ago
- LxG1.0.10mp5 open source for TC7210/TC7230 models☆48Updated 8 years ago
- Pine64 Linux images and information☆119Updated 4 years ago
- A small suite of scripts and patches for building musl libc cross compilers.☆35Updated 8 years ago
- The Macgyver of Dlopening: `dlopen` yourself!☆45Updated 8 years ago
- Configuration to use gpg smartcards for ssh authentication☆111Updated 4 years ago
- Free Terminal Server☆151Updated 4 years ago
- Bridge for LIFX and WeMo Link LED bulbs to an Amazon Echo compatible Hue interface☆28Updated 8 years ago
- Use BIOS ram hacks to make a SSH server out of any INT 10 13h app (MS-DOS is one of those)☆146Updated 9 years ago
- ☆30Updated 9 years ago
- Deterministic kernel build scripts, for Linux, mainly for Debian☆47Updated 9 years ago
- flashrd OpenBSD rd+vnd stacking thingie☆54Updated last year
- My presentations and papers☆46Updated 3 years ago
- Scripts, learnings, sample configurations, and random whining☆146Updated 9 years ago