| rrq | fsmithred: hmm. type "exit" at the shell brings you to a bios setup system where you can declare a primary boot option for grub.efi .. and save. | 01:04 |
|---|---|---|
| rrq | that is preserved between restarts, so it's saved somewhere on the "disk" | 01:05 |
| rrq | though not visble in the file system; probably in the master block somewhere... | 01:07 |
| rrq | I'm not sure if this is peculiar to OVMF or a UEFI standard | 01:08 |
| rrq | note that all that works with "-pflash OVMF-i386.fd" but not with "-bios OVMF-i386.fd" .. which is a qemu thingy, but maybe also a bare-metal issue | 01:13 |
| fsmithred | I didn't know I could save those settings. I just go in there and select the boot file. | 02:00 |
| rrq | ah; it changes OVMF-i386.fd, not the disk | 02:30 |
| fsmithred | in /usr/share/qemu or /usr/share/ovmf? | 02:32 |
| rrq | no the flash disk presented to qemu with -pflash (not -bios) | 02:37 |
| rrq | with -bios, I had to change the EFI parition; rename "debian" to "boot" and copu grub.efi into bootia32.efi | 02:37 |
| rrq | looks like OVMF-i386.fd has a very strict UEFI implementaiton | 02:39 |
| rrq | ie it needs to find "EFI/boot/bootia32.efi" and is not happy to find "EFI/debian/grub.efi" (as first .efi) | 02:41 |
| fsmithred | ok, I name my bootloader bootia32.efi | 02:42 |
| rrq | all in all, I'd claim that the iso is fine though :) | 02:49 |
| fsmithred | I'll agree with that | 02:50 |
| fsmithred | if we find out it's not good, then the question of whether or not anyone uses 32-bit uefi will be answered. | 02:50 |
| rrq | :) | 02:54 |
| rrq | seems the preferred deb.devuan.org mirror for me offers 8kb/s only | 22:52 |
Generated by irclog2html.py 2.17.0 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!