On Sun, Jul 14, 2013 at 5:12 PM, Ben Hutchings <b...@decadent.org.uk> wrote:
> On Sun, 2013-07-14 at 05:35 -0700, Shawn Landden wrote: > > 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 > The official Debian installer images must install Debian-packaged > 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. > my patch uses the armmp kernel, but it doesn't boot as it doesn't build in enough modules. presumably it would only need the ext4 module built in. --- Shawn Landden +1 360 389 3001 (SMS preferred)