El 2026-09-10 01:49, mail escribió:
Hi Ashish!Apologies for the radio silence. Happy to report that I was indeed able to get the board to boot! I did have to resort to copying all the loaded kmods from the Debian install. Attaching my config.scm for posterity. Currently trying to figure out how to get a swap partition working. Very much appreciate the help from all of you!
`operating-system' has `swap-devices' attribute which you can furnish with the
value of your swap devices, e.g.:
(operating-system ...
(swap-devices
(list (swap-space
(target (uuid "uuid-of-the-device"))))))
Guix manual has some good explanation, and examples.
HTH
--
Ashish SHUKLA | GPG: F682 CDCC 39DC 0FEA E116 20B6 C746 CFA9 E74F A4B0
| GPG: 01DE 145E 35D8 C87E 956E FEC9 D4C4 4BDA 2C98 C654
"If I destroy you, what business is it of yours ?" (Dark Forest, Liu Cixin)
signature.asc
Description: PGP signature
