Package: debian-cd
Severity: wishlist
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Hello,
Since a lot of PCs will have an amd64 UEFI instead of a BIOS in the next
years, it would be useful to offer the possibility to install an
UEFI-bootable Debian system, which requires to have an UEFI-bootable
installer too.
I wrote a detailed explanation on <je7174$b6p$1@dough.gmane.org> [1] but
here is a summary for the part the relates to the Debian installation
media:
* Installing an UEFI-bootable system requires to boot the installed in
UEFI mode too because there are some UEFI calls to do to declare it to
the UEFI boot manager so that it is offered as a boot option after
that.
* To be UEFI-bootable, a removable medium only need to be formatted in
FAT and to contain a bootloader at /efi/boot/boot<arch>.efi (unsure
for optical media). It can be multiarch, and even BIOS-bootable at the
same time.
* At partionning time, and UEFI System Partition should be created and
formatted in FAT if there is not already one. In the latter case, it
should not be re-formatted. In both cases, it should be mounted at
/boot/efi (that is, /target/boot/efi during the installation).
* When booted from UEFI, the installed should offer to install grub-efi
or elilo.
[1] http://lists.debian.org/debian-devel/2012/01/msg00168.html
Regards,
- --
,--.
: /` ) Tanguy Ortolo <xmpp:tanguy@ortolo.eu> <irc://irc.oftc.net/Tanguy>
| `-' Debian Developer
\_
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCgAGBQJPKmIkAAoJEOryzVHFAGgZT7wP+wUP46g7sahvwj2Wel12CwYt
otdv/q1XYdejOQCIPcGN+rVLZdOQsLE8YEs8krgssdvK+ppzBDX2vMEFujyq/uE+
hJLkUNmtIPGisSu9mSSkNnZqSwtxwoCNNoovMZDuQ6ziTrNLvUYxWYGyZb49CKK5
N5Pw9X8Yx3ynMn/NvwXXzFDSG72V614RI2vtwqIm5BfaNCtRUQVlHPpe3ccNigfa
FKJHiznUasjAj2IogSE5gVb0dbYJunVnejAxvlrb4U5nVodKnLjO5LRDdC7QYwuz
CNsdYdEIrEVxJGfR6du4/vg0S4l2xmY57qmwjo1Cwjra24Ea5I7Vegspi0O93msO
OPMSMHdqqIj+NWA346JBF1s2RCdx3dBFmOoD/jZI7Ku9KY6rWTHQEmBjk1/faeU0
NcUNuwyxdhUlS3pb7MFXb8WsUFifxQmZBsTkjyM3+epI5sI+UIUZ/Ee9Onv5E6P1
G5gT6iWOyWYDz5KZi39BRRW+1bCy11Jom33q2z3bGDqwbpUAlfMz1qPZFVbsxcCh
naF23fuU2trVrRgdQy5Qp+Jn952fjmc9cvnYCdfm9ZTw9sDD9R1s29NSX//hX1KN
fLuJH2OAUqUVWyV9bQTu5rULZ79KwyoOohRFdWw2c0L8xMcZUY1BH/MzJ/oogUS7
tuwHK1J4CAESuqZ5n7SX
=LjbH
-----END PGP SIGNATURE-----