Bug#716902: flash-kernel: [RFC PATCH] samsung arm chromebook support

[Shawn <shawnlandden@gmail.com>]

On Sun, Jul 14, 2013 at 5:12 PM, Ben Hutchings <ben@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)