X-Debbugs-Cc: Timothy Sample <samplet@ngyro.com>

Attached is a patch series that adds a linux-libre kernel variant for
"veyron" type chromebooks, tested on an Asus-C201
(a.k.a. veyron-speedy), and corresponding support for installing the
kernel so that the "depthcharge" bootloader can boot it, and an example
system config used on the veyron-speedy. It may also work on other
veyron models; they are untested.

I've taken the WIP patch that Timothy Sample proposed and split it into
two patches (one for the bootloader support, and one for the example
system config slightly adjusted for the new kernel package name), and
dropped the prawnos kernel, though the linux-libre-arm-veyrong kernel
config is largely based on the prawnos kernel config. The thread on
guix-devel describes more of the background:

  https://lists.gnu.org/archive/html/guix-devel/2019-03/msg00053.html

Big thanks to Timothy for the WIP patches that made it possible to get
this far!


Caveats:

* The kernel patch introduces kernel-config-veyron, which should
  eventually get refactored into kernel-config directly.

* It would be much preferable to figure out how to just use linux-libre
  without a separate kernel variant, but I've been unable to figure out
  the right combination of options at this point.

* Xorg works, although so slowly as to be almost unusable. The
  framebuffer console works quite well, so not sure why X is *so* much
  slower. Might be configuration options to improve that.

* dm_crypt "works" briefly, but hangs the device-mapper device after
  brief use.

* Sometimes stalls out indefinitely in the initrd after "loading
  modules..." ... keyboard stays responsive in the sense that you can
  hit enter and it scrolls the screen one line.


That said, it's a decent fairly affordable and portable Guix System,
free software all the way down to the firmware (if you install libreboot
yourself).


live well,
  vagrant