slp / rpi2-hyp-boot
Raspberry Pi 2 bootloader for starting the cores in HYP mode
☆31Updated 9 years ago
Related projects: ⓘ
- An open source miniPCIe development board based on the Xilinx Spartan 6 LX150T☆141Updated 8 years ago
- Bridge for LIFX and WeMo Link LED bulbs to an Amazon Echo compatible Hue interface☆28Updated 8 years ago
- ☆22Updated this week
- Etch-A-SDR Project☆50Updated 8 years ago
- The Macgyver of Dlopening: `dlopen` yourself!☆45Updated 7 years ago
- CFFI-Based Python Bindings for FreeBSD libgpio☆22Updated 4 years ago
- flashrd OpenBSD rd+vnd stacking thingie☆54Updated last year
- Free Terminal Server☆151Updated 4 years ago
- minifs is a linux distribution maker to create very tight & compact monolithic firmwares☆73Updated 5 years ago
- Linux kernel with Novena patches -- expect frequent rebases!☆86Updated 7 years ago
- Standalone libSboot for U-boot☆22Updated 11 years ago
- Raspberry pi QEMU☆39Updated 8 years ago
- ☆50Updated this week
- OLD qemu with Raspberry Pi 2 and Windows on ARM support. Retained for reference purposes only -- most of this has been merged upstream.☆65Updated 8 years ago
- ☆55Updated this week
- a tiny, custom launcher that handles namespacing, control groups, chroot'ing, and more☆55Updated 2 years ago
- Official U-Boot package for Parallella☆41Updated 9 years ago
- uclibc build environment for predictable and repeatable building of binary packages☆56Updated 7 years ago
- ZFS On Linux with crypto patches☆39Updated 9 years ago
- Project is now superseded by CoreFreq☆48Updated 6 years ago
- Pine64 Linux images and information☆119Updated 3 years ago
- ☆33Updated this week
- DISCONTINUATION OF PROJECT. This project will no longer be maintained by Intel. Intel will not provide or guarantee development of or s…☆34Updated 2 years ago
- Code samples for the Tomu board☆80Updated 2 years ago
- Linux Kernel forked from ADI (with latest ADI HDMI drivers)☆68Updated 5 years ago
- The "State considered harmful" paper☆105Updated 8 years ago