Re: UEFI PC?

2019-11-17 Thread Peter Wiehe
Am 17. November 2019 23:09:18 MEZ schrieb Steve McIntyre : >you'll >probably need to make your initial boot binary be a PE UEFI >executable. No, afaik that's not neccessary if you boot from an intermediate bootloader like grub. Peter

Re: UEFI PC?

2019-11-17 Thread Steve McIntyre
On Sun, Nov 17, 2019 at 10:14:05PM +0100, Samuel Thibault wrote: >Steve McIntyre, le dim. 17 nov. 2019 20:36:13 +, a ecrit: >> 1. adding UEFI support in debian-cd for the hurd-i386 CD >> build. That's easy > >Yes, that's now on >https://salsa.debian.org/images-team/debian-cd/merge_requests

Re: UEFI PC?

2019-11-17 Thread Peter Wiehe
Am 17. November 2019 22:14:05 MEZ schrieb Samuel Thibault : >Steve McIntyre, le dim. 17 nov. 2019 20:36:13 +, a ecrit: >> to support UEFI initialisation etc. > >What I can think of is memory layout initialization and PCI BIOS >support, do you think of anything else? > I don't know if this

Re: UEFI PC?

2019-11-17 Thread Samuel Thibault
Steve McIntyre, le dim. 17 nov. 2019 20:36:13 +, a ecrit: > 1. adding UEFI support in debian-cd for the hurd-i386 CD > build. That's easy Yes, that's now on https://salsa.debian.org/images-team/debian-cd/merge_requests/5 > 3. Finally (the elephant in the room) - booting via UEFI is not

Re: UEFI PC?

2019-11-17 Thread Steve McIntyre
Thomas Schmitt wrote: > >On an amd64 system i can get UEFI equipment in a grub-mkrescue ISO >by installing binary packages grub-efi-amd64-bin and/or grub-efi-ia32-bin. >This can be further combined with grub-pc-bin for PC-BIOS. >Then i run grub-mkrescue with a dummy payload directory instead of a >

Re: UEFI PC?

2019-11-17 Thread Samuel Thibault
Samuel Thibault, le dim. 17 nov. 2019 21:31:50 +0100, a ecrit: > Samuel Thibault, le dim. 17 nov. 2019 19:08:20 +0100, a ecrit: > > Samuel Thibault, le dim. 17 nov. 2019 18:58:08 +0100, a ecrit: > > > kvm -cdrom debian-sid-hurd-i386-NETINST-1.iso -bios OVMF.fd > > > > > > doesn't manage to boot it

Re: UEFI PC?

2019-11-17 Thread Thomas Schmitt
Hi, Samuel Thibault wrote: > Indeed, a 32bit version of OVMF is needed. I could grab one, This explains why i could not repeat my success with qemu-system-i386. (Now i wonder what i did to fall victim to that illusion.) > grub boots fine. gnumach however doesn't. Good luck with the rest of the

Re: UEFI PC?

2019-11-17 Thread Samuel Thibault
Samuel Thibault, le dim. 17 nov. 2019 19:08:20 +0100, a ecrit: > Samuel Thibault, le dim. 17 nov. 2019 18:58:08 +0100, a ecrit: > > kvm -cdrom debian-sid-hurd-i386-NETINST-1.iso -bios OVMF.fd > > > > doesn't manage to boot it. Perhaps that's a kvm issue, or perhaps that's > > a grub-ia32 issue (si

Re: UEFI PC?

2019-11-17 Thread Samuel Thibault
Thomas Schmitt, le dim. 17 nov. 2019 20:42:37 +0100, a ecrit: > The most obvious difference is in the two EFI System Partitions: > > $ cd /mnt/fat_hurd > $ find . > . > ./efi > ./efi/boot > ./efi/boot/bootia32.efi > > $ cd /mnt/fat_i386 > $ find . > . > ./efi > ./efi/boot >

Re: UEFI PC?

2019-11-17 Thread Thomas Schmitt
Hi, Samuel Thibault wrote: > kvm -cdrom debian-sid-hurd-i386-NETINST-1.iso -bios OVMF.fd > doesn't manage to boot it. Perhaps that's a kvm issue, or perhaps that's > a grub-ia32 issue (since I can't boot a linux-i386 image either) Indeed, this gives a "UEFI Interactive Shell" prompt and no Debian

gnumach_1.8+git20191117-1_source.changes ACCEPTED into unstable

2019-11-17 Thread Debian FTP Masters
Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 17 Nov 2019 18:33:09 + Source: gnumach Binary: gnumach-common gnumach-dev gnumach-image-1-486 gnumach-image-1.8-486 gnumach-image-1.8-486-dbg kernel-image-1.8-486-di Built-For-Profiles: noudeb noprof noxen Ar

Processing of gnumach_1.8+git20191117-1_source.changes

2019-11-17 Thread Debian FTP Masters
gnumach_1.8+git20191117-1_source.changes uploaded successfully to localhost along with the files: gnumach_1.8+git20191117-1.dsc gnumach_1.8+git20191117.orig.tar.xz gnumach_1.8+git20191117-1.debian.tar.xz Greetings, Your Debian queue daemon (running on host usper.debian.org)

Re: UEFI PC?

2019-11-17 Thread Samuel Thibault
Samuel Thibault, le dim. 17 nov. 2019 19:08:20 +0100, a ecrit: > Samuel Thibault, le dim. 17 nov. 2019 18:58:08 +0100, a ecrit: > > kvm -cdrom debian-sid-hurd-i386-NETINST-1.iso -bios OVMF.fd > > > > doesn't manage to boot it. Perhaps that's a kvm issue, or perhaps that's > > a grub-ia32 issue (si

Re: UEFI PC?

2019-11-17 Thread Samuel Thibault
Samuel Thibault, le dim. 17 nov. 2019 18:58:08 +0100, a ecrit: > kvm -cdrom debian-sid-hurd-i386-NETINST-1.iso -bios OVMF.fd > > doesn't manage to boot it. Perhaps that's a kvm issue, or perhaps that's > a grub-ia32 issue (since I can't boot a linux-i386 image either), Mmm, OVMF.fd is a 64bit fir

Re: UEFI PC?

2019-11-17 Thread Samuel Thibault
Samuel Thibault, le dim. 17 nov. 2019 18:58:08 +0100, a ecrit: > Thomas Schmitt, le dim. 17 nov. 2019 18:35:34 +0100, a ecrit: > > Can it be that hurd-i386 is prepared by > > > > https://sources.debian.org/src/debian-cd/3.1.27/tools/boot/bullseye/boot-hurd-common > > It is. I have now pushed EF

Re: UEFI PC?

2019-11-17 Thread Samuel Thibault
Thomas Schmitt, le dim. 17 nov. 2019 18:35:34 +0100, a ecrit: > Can it be that hurd-i386 is prepared by > > https://sources.debian.org/src/debian-cd/3.1.27/tools/boot/bullseye/boot-hurd-common It is. I have now pushed EFI code there. I have regenerated http://people.debian.org/~sthibault/hurd

Re: UEFI PC?

2019-11-17 Thread Samuel Thibault
Thomas Schmitt, le dim. 17 nov. 2019 18:35:34 +0100, a ecrit: > Samuel Thibault wrote: > > Mmm, actually I had tested with the amd64 debian iso image , not the > > i386. The i386 > http://cdimage.debian.org/cdimage/release/10.2.0/i386/iso-cd/debian-10.2.0-i386-netinst.iso > > has the same issue, >

Re: UEFI PC?

2019-11-17 Thread Thomas Schmitt
Hi, Samuel Thibault wrote: > Mmm, actually I had tested with the amd64 debian iso image , not the > i386. The i386 http://cdimage.debian.org/cdimage/release/10.2.0/i386/iso-cd/debian-10.2.0-i386-netinst.iso > has the same issue, Aren't amd64 and i386 GNU/Linux systems ? Those have ISOLINUX equipm

Re: UEFI PC?

2019-11-17 Thread Samuel Thibault
Thomas Schmitt, le dim. 17 nov. 2019 16:39:28 +0100, a ecrit: > Samuel Thibault wrote: > > That being said, it seems that the hurd-i386 variant of the Debian > > installation CDs can't be booted on UEFI. I don't know why, it's using > > grub, like the i386 variant. > > The immediate cause is the l

Re: UEFI PC?

2019-11-17 Thread Thomas Schmitt
Hi, Samuel Thibault wrote: > Actually there is no technical reason why it shouldn't work: it's grub > which has to care about BIOS vs UEFI. > > That being said, it seems that the hurd-i386 variant of the Debian > installation CDs can't be booted on UEFI. I don't know why, it's using > grub, like t

Re: UEFI PC?

2019-11-17 Thread Samuel Thibault
Peter Wiehe, le sam. 16 nov. 2019 16:41:06 +0100, a ecrit: > Is Debian GNU/Hurd able to be installed on an UEFI PC? Actually there is no technical reason why it shouldn't work: it's grub which has to care about BIOS vs UEFI. That being said, it seems that the hurd-i386 variant of the Debian insta

Re: UEFI PC?

2019-11-17 Thread Joshua Branson
Peter Wiehe writes: > Hello, > I'm new to Hurd and this mailing list. > > Is Debian GNU/Hurd able to be installed on an UEFI PC? Are you certain that you want to install the Hurd on bare hardware? The Hurd is not as stable as GNU/Linux. Most Hurd developers run the Hurd in qemu. This is proba