On 04/05/2017 at 12:07 Leo Famulari writes: > On Wed, Apr 05, 2017 at 11:14:06AM -0400, myglc2 wrote: >> I interpreted your doc to say I should use something like this ... >> >> (bootloader (grub-configuration (device "/dev/nvme0n1") >> (serial-speed 115200) >> (terminal-inputs '(serial console)) >> (terminal-outputs '(console)))) > > Right, except... > >> ... to produce something like this in my grub config ... >> >> serial --unit=0 --speed=115200 >> terminal_input serial console; terminal_output console > > ... you won't get '--unit=0' unless you specify (serial-unit 0) in your > GuixSD configuration. However, GRUB defaults to '0', according to its > manual.
Yes I noticed. I was operating on the hope that less would be more ;-) After following Marius Bakke's advice to revert dfee7daedb760f1b1d7506829ca31633f4173356 "gnu: bc: Update to 1.07" I can confirm that this works on an ASRock MT-C224 motherboard over IPMI SOL. Please let me know if there is anything else you need me to test. - George