Simon Richter writes: > Hmm, in Debian there is a tool called mkvmlinuz that does this, which is > run in a hook script after generating an initrd. It doesn't handle any of the embedded formats (uImage, treeboot, etc.). Neither does my script, but it will... It also doesn't handle including a device-tree blob. Paul.