Comment 2 for bug 1723203

Suggesting a partitioning scheme is easy to do, and could be done by just modifying one file. Similarly, installing a kernel is fairly straightforward I think with the flash-kernel package. That already has a debian installer udeb.

The difficult bit is deciding on the partitioning scheme to use. I would be very much against continuing the vfat /boot partition. The rpi firmware partition should be mounted at something like /boot/firmware (which is what Ubuntu uses).

https://github.com/Jc2k/flash-kernel
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=735092

Are there plans to make the pi a subarch in debian?