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)

Reply via email to