On Sun, 2013-07-14 at 05:35 -0700, Shawn Landden wrote:The official Debian installer images must install Debian-packaged
> I am working on getting the Samsung ARM Chromebook supported by
> the Debian installer.
>
> RFC on this patch, as the vboot on the chromebook does not support initrd
kernels. I would oppose introduction of any new kernel flavours that do
not use an initrd, and I don't want to see any new ARM flavours in
general.