On Sat, Oct 20, 2018 at 03:20:44PM +0200, Ludovic Courtès wrote:
> Hello Guix!
> 
> The device comes with openSuSE preinstalled and I had first installed
> Guix from the binary tarball.  It’s a “normal” UEFI machine so we can
> use ‘grub-efi’ directly.  I came up with this GuixSD config:
> 
>   https://git.savannah.gnu.org/cgit/guix/maintenance.git/tree/hydra/overdrive.scm
> 

Can I draw your attention to commits
64791eb7e1dceb0940cc881e84820f0170298b34 and
39d7fdce453b0ca23ecbed72048647debbaa58a6 ? :)

> The main difficulty was to come up with the right combination of modules
> for the initrd, without which we’d fail to mount the root file system.
> Fortunately the OverDrive has a serial output that makes it easy to
> debug boot failures.
> 
> With that config, I just run:
> 
>   guix system init overdrive.scm /
> 
> and that’s it!
> 

How did you figure out which modules you needed for the device?

Also, I'd suggest this diff:

diff --git a/hydra/overdrive.scm b/hydra/overdrive.scm
index 072c095..304acd6 100644
--- a/hydra/overdrive.scm
+++ b/hydra/overdrive.scm
@@ -72,7 +72,7 @@
                               `(("ludo" ,(local-file "keys/ssh/ludo.pub"))
                                 ("rekado" ,(local-file "keys/ssh/rekado.pub"))
                                 ("dannym" ,(local-file "keys/ssh/dannym.pub"))))))
-                   (dhcp-client-service)
+                   (service dhcp-client-service-type)
                    (service mcron-service-type
                             (mcron-configuration
                              (jobs (list gc-job btrfs-job))))
@@ -84,7 +84,7 @@
                              (term "vt220")
                              (baud-rate "115200,38400,9600")))

-                   (ntp-service)
+                   (service ntp-service-type)

                    (modify-services %base-services
                      (guix-service-type config =>
@@ -97,4 +97,4 @@
                                          (extra-options
                                           '("--max-jobs=2" "--cores=3")))))))

-  (packages (cons* screen openssh strace %base-packages)))
+  (packages (cons* btrfs-progs screen openssh strace %base-packages)))

-- 
Efraim Flashner   <efraim@flashner.co.il>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted