(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")))))
pgp7AQB0fXxeC.pgp
Description: PGP signature
--- End Message ---