WIP: Use Debian kernel and u-boot for Raspberry Pi 2
I haven't been able to get this to actually boot yet, so further changes may be required.
- Create /boot/firmware partition as vfat
- Use ext2 for /boot
- Use u-boot-rpi and armmp kernel
- Use flash-kernel to copy kernel to /boot
Notes:
- There is a different u-boot binary for Raspberry Pi 3, so we will likely need a separate image for it.
- I thought flash-kernel should be triggered automatically at install, but that wasn't happening. Will need to investigate further.
The partition table looks like this:
Number Start End Size Type File system Flags
1 1049kB 134MB 133MB primary fat16
2 160MB 282MB 122MB primary ext2 boot
3 282MB 3799MB 3517MB primary btrfs
Here are the files under /boot: /boot/lost+found /boot/dtb-4.9.0-2-armmp /boot/System.map-4.9.0-2-armmp /boot/vmlinuz-4.9.0-2-armmp /boot/dtbs /boot/dtbs/4.9.0-2-armmp /boot/dtbs/4.9.0-2-armmp/bcm2836-rpi-2-b.dtb /boot/dtb /boot/boot.scr /boot/initrd.img-4.9.0-2-armmp /boot/config-4.9.0-2-armmp /boot/firmware /boot/firmware/start.elf /boot/firmware/start_cd.elf /boot/firmware/start_db.elf /boot/firmware/start_x.elf /boot/firmware/bootcode.bin /boot/firmware/fixup.dat /boot/firmware/fixup_cd.dat /boot/firmware/fixup_db.dat /boot/firmware/fixup_x.dat /boot/firmware/.firmware_revision /boot/firmware/kernel.img