On Tue, 2017-03-21 at 00:31 +0100, Adam Borowski wrote: > Package: flash-kernel Not sure that this (or u-boot) is really the best place for it, it certainly wouldn't occur to look under either of those packages for such documentation. Perhaps a wiki page under wiki.debian.org/DebianOn might be better? Or the installation guide perhaps? Ian.