- Official Raspberry PI Kernel OR Debian ARM64 Kernel
- Official firmware (non-free binary blobs) (wifi, startup code)
- Standard Debian userpsace (armel, armhf or arm64)
The RaspberryPI SoC's using different chip architectures, therefore each generation requires another source repository - see debian wiki. Since late 2018 the debian stock kernel supports the raspberry pi
- Raspberry Pi 1 (A, B, A+, B+, Zero, Zero W) -
armel
- Raspberry Pi 2 -
armhf
- Raspberry Pi 3 (3, 3A+, 3B+) -
arm64
- Raspberry Pi 4 - no official debian port available -
arm64
should work with raspbian kernel
You have to change the architecture depending on your target devices: edit the file ./config
32 bit - Raspberry 1 / ZERO / ZERO WH / CM
CONF_TARGET_DEVICE="rpi_zero_x86"
32 bit - Raspberry 2 / 3 / CM3
CONF_TARGET_DEVICE="rpi_3_x86"
64 bit - Raspberry 3 / CM3 / 4
CONF_TARGET_DEVICE="rpi_3_x64"
Additional informations can be found within the Debian Wiki
- Primary Partition 1:
128MB
- bootloader files, dtb, kernel, initramfs (bootable flag!) - Logical Partition 5:
1GB
- system.img - Logical Partition 6:
512MB
- persistent config - Logical Partition 7+:
X
- persistent data / user data
hypersolid is OpenSource and licensed under the Terms of GNU General Public Licence v2. You're welcome to contribute!