[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: GuixSD on the SoftIron OverDrive 1000 (AArch64)
From: |
Efraim Flashner |
Subject: |
Re: GuixSD on the SoftIron OverDrive 1000 (AArch64) |
Date: |
Sat, 20 Oct 2018 21:29:59 +0300 |
User-agent: |
Mutt/1.10.1 (2018-07-13) |
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 <address@hidden> אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted
signature.asc
Description: PGP signature