(address . bug-guix@gnu.org)
(Ludo suggested to report this as a bug, so this issue won’t get lost.)
While booting, GRUB prints this error:
error: file
‘/gnu/store/rz…-linux-libre-3.17.3/bzImage’ not found.
which is not surprising since the store is encrypted.
I’ve tried putting these lines after the “setparams” line in the GRUB
config (by hitting the ‘e’ key):
insmod luks
cryptomount hd0,gpt3
set root=crypto0
After pressing the ‘F10’ key, I get a password prompt. And after that, a
bunch of warnings about ‘/dev/mapper/main’:
ext2fs_check_if_mount: Can’t check if filesystem is mounted due to
missing mtab file while determining whether /dev/mapper/main is mounted.
fsck.ext3: No such file or directory while trying to open
/dev/mapper/main
Possibly non-existent device?
‘fsck.ext3’ exited with code 8 on /dev/mapper/main; spawning REPL
In the REPL:
scheme@(guile-user)> ,use (gnu build linux-boot)
scheme@(guile-user)> (boot-system)
[…]
ERROR: In procedure mount:
ERROR: In procedure mount: Device or resource busy
My config is shown below:
(use-modules (gnu))
(define %linux-modules
'(
;; cryptsetup/LUKS
"dm-crypt.ko" "aes-x86_64.ko" "crc32.ko" "pcbc.ko" "xcbc.ko" "sha256-ssse3.ko"))
(operating-system
(host-name "test")
(timezone "Europe/Paris")
(locale "en_US.UTF-8")
(bootloader (grub-configuration
(device "/dev/sda")))
(initrd (lambda (fs . args)
(apply base-initrd fs
#:extra-modules %linux-modules
args)))
(mapped-devices (list (mapped-device
(source "/dev/sda3")
(target "main")
(type luks-device-mapping))))
(file-systems (cons* (file-system
(device "/dev/mapper/main")
(mount-point "/")
(type "ext3"))
(file-system
(device "boot")
(type 'label)
(mount-point "/boot")
(type "ext3"))
%base-file-systems))
(users (list (user-account
(name "test")
(group "users")
(supplementary-groups '("wheel"
"audio" "video"))
(home-directory "/home/test")))))
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBAgAGBQJUdUh+AAoJEM+IQzI9IQ38glwQAIjpCx50uBQ/gw4y60WaIja4
iDE47RHemyoRz9JlWQx5xhsXcH/BCTMUkRexFB+WZjD20raU0Q5/0Aajuw+7wvr1
OUk+/G6y0+dKuxw7yZHbDWhTOelDpXYLrIou4dKsOi+Lu611I4dSqlDCnAVL8rso
Jp/xPYOb913xgJ0FAeGPXuy+/6+baT4X1RbHIHy4ACsy7qyjjTzYUmVRozz7Qlg9
n+jwXVf/5pI08EF2bh9pjw5WjrJ1oumFOwjPhqiQFGWCbVKeWOGbVUeBg620J9dN
g+OD9SFreL91NXTLrv7VVUts07ypEeGoJeofa7q/O1Bqv04F0wlb4FpR4t13+f69
RyHC7r8JU+b2rDF6QvDdl4CzjuGCtP1c7diUgZ1WYLKm8z1aeJFbDleN/sywhpYy
JXajVYrfDZegXXs1jsef8CyeujTDDEhjNPANbGkx5fcq4pxeCeJ3r4x9G+XDQ2wR
aW40aRgnURIl40QpAC+yc6nmusE7GSGijHs7PFTDj8lM1alUIQf6YBLpK2xmxTOn
U1IGemOKio+kgK3GD9uuATktf8Zp78zw+yjYYw+5QxWozBjBIdoEiwJWzCaEo3UM
BBev9R0aGeOiEnyKDKQHLNh5Vbf9i3wwSroMaofLLuyrU6DMG4fKbK8I3/ECyp1z
a/zmgNkiAcMiwgT2yM1L
=oS5t
-----END PGP SIGNATURE-----