<matt`>Can someone explain to me how grub is able to decrypt luks devices based on the configuration set by Guix? I'm encountering this weird situation where sometimes grub asks me for two passphrases (I have two encrypted devices) and presents the menu entries and other times only asks for the passphrase to one device and then drops to a grub rescue prompt.
<matt`>I found the grub scm file and see the `(setenv "GRUB_ENABLE_CRYPTODISK" "y")' line, but when I look at the generated grub.cfg file I don't see any cryptomount commands
<matt`>I looked at the Grub reference manual and based on my primitive understanding of Grub, this seems to be how it's able to decrypt luks devices. Is that right?
<matt`>If so, why don't I see any instances of "cryptomount" or "mkconfig" (for grub-mkconfig) in the guix source code?
<bandali>matt`, if you don’t get any replies here, feel free to try asking on the help-guix or guix-devel lists
<bandali>(i personally know next to nothing about how grub works)
<sneek_>alexanderbarbosa, nckx says: That PATH is correct: ‘ls’ is provided by your system profile so it shouldn't be in there. Did you want ‘--search-paths=suffix’? LD_LIBRARY_PATH shouldn't be set unless you know what you're doing; Guix is right not to suggest that.
<Minall>I get an error on my config.scm, Im trying to install slim instead of gdm, following the manual example
<Minall>How can I show you my config?, also, I want to add xf86-video-openchrome as driver, but i don't know how
<arshin>hi guix, got a question about file systems support
<arshin>there are packages xfsprogs and f2fs-tools, but Guix manual says (in 184.108.40.206) that "Currently Guix System only supports ext4 and btrfs file systems." What does that mean?
<Gamayun>arshin: Mostly that you can only install onto ext4 and btrfs. I think you should be able to define filesystems in the system configuration for most others. And if there is a package for it you should be able to mount it manually.
***jje_ is now known as jje
<arshin>Gamayun: That's unfortunate (and perhaps that phrasing should be clarified in the manual). thanks.
<efraim>Ah, allow-empty-passwords needs to be set to #t for my guix conversion vm config to work
<arshin>where are aarch64 installation images for guix system (if they exist)? Download page only has x86_64 and i686 but text at the top says "As of version 1.0.1, the standalone Guix System can be installed on an i686, x86_64, ARMv7, or *AArch64* machine."
<efraim>we don't have any prebuilt OS images for aarch64 since they have to be built per-board. We haven't figured out a good way to provide images without taking up a lot of space, so they're built mostly as-needed
<OriansJ>efraim: I hope you do mean per linux kernel right?
<efraim>OriansJ: the base image is fairly standard, but the u-boot part isn't so it is actually per-board
<efraim>if there's a custom kernel then that'd be board-specific too
<efraim>back to btrfs, it looks like adding btrfs to the udev configuration rules list might fix the multi-disk boot issues
<OriansJ>efraim: so we could host if we did a simple iso padding and leveraged a file system that supported block based deduplication
<efraim>OriansJ: I believe debian has a u-boot portion and an image portion, and the instructions are "cat fileA fileB > sdcard.img" and then dd to sd card
<efraim>i see rockpro64 is a 3399, we'd have to ask vagrantc how well it's supported
<efraim>armbian says mainline kernels have broken HDMI and usb3
<arshin>efraim: that's fine. I'm mostly interested to see how Panfrost will work once 5.2 stable is released
<nckx>sneek_: later tell matt: We don't use grub-mkconfig (thank god), you might be thinking of ‘grub-install’. If not, grub.cfg is assembled in (gnu bootloader grub). You're right that GRUB_ENABLE_CRYPTODISK is set, but could you explain why cryptomount would be needed?
<OriansJ>nckx: thank you; it was the result of a 28hour hackathon
<OriansJ>now we have a full path from a 357byte hex0 to M2-Planet done and only some C code remains (once we get this https://github.com/oriansj/mes-m2 into a form M2-Planet can build the chain from hex0 to gcc+binutils is done)
<OriansJ>oh and M2-Planet is a deterministic cross-platform C compiler