On Wed, 23 Jul 2014, Ludovic Courtès wrote:
I’ve finally fixed this problem: <http://bugs.gnu.org/18061>.
Not perfect, since it requires users to type an extra command, but that
seems acceptable to me.
I would very much appreciate new tests and feedback. Here’s a new image
with this fix:
http://www.fdn.fr/~lcourtes/software/guix/gnu-usb-install-20140723.x86_64.xz
http://www.fdn.fr/~lcourtes/software/guix/gnu-usb-install-20140723.x86_64.xz.asc
SHA1: 7d277ed9a0927fd08e211125eca9a8bea98e7c3e
(For 32-bit, you can rebuild it with the usual command.)
Installation went fine.
I can not boot installed system, boot looks for /dev/sda1 which is not
present. It smells to me like the same problem with devtmpfs previously in
live USB... I found in grub the reference to /dev/sda1 (as LiveUSB now
with udev in devtmpfs and kernel 3.15.6 asigns the HDD /dev/sda) but it
looks like the kernel booting from HDD is not seeing it like this.
Notes:
- Installed system has kernel 3.15.5 and guix 0.6 while the liveUSB has
kernel 3.15.6 and guix 0.7
- The help file on tty2 needs to be updated to accomodate the info about
cow-store
- I would vote for the basic config.scm to be present on the USB
somewhere, it is time consuming to rewrite one from help to the file.
(Could be I may copy it somehow from info page, but I would need a help
how to do that.)
- Time synchro or at least hwclock --hctosys would be fine as everything
is installed 1.1.1970
- My boot is somewhat long due to missing firmware for a Radeon graphics
card and "fatal error during GPU init". This is probably due to
linux-libre kernel. I am not sure if this could be mitigated somehow,
generally is not a problem.
Thanks,
Ludo’.
Adam Pribyl
