Re: Install report with UEFI Debian CD on HP elitebook 840 G1

2015-01-13 Thread Jean Privat
In the installer on the usbstick with upload3 in "UEFI Boot only (Without CSM)" mode: >>> # cat /sys/firmware/efi/fw_platform_size 64 You had my attention, but now you have my curiosity... -- Jean PRIVAT, professeur/professor Département d'informatique/Department of

Re: Install report with UEFI Debian CD on HP elitebook 840 G1

2015-01-12 Thread Jean Privat
e installed system, please? This file does not exist neither on the installed system, nor within the installer from the USB stick that contains your upload2 image. I tried to `find` it but still nothing. The file fw_vendor exists and contains 0xbb32e318 -- Jean PRIVAT, professeur/professor Départemen

Re: Install report with UEFI Debian CD on HP elitebook 840 G1

2015-01-12 Thread Jean Privat
installer * Seeing that the installer did not like the EFI, I remembered http://blog.einval.com/2015/01/11#Jessie-EFI_5 and just tried the proposed image * I reseted the bios to "UEFI Boot only (Without CSM)" and the bios showed the new USB key, so could retry the install. -- Jean PRIVAT

Install report with UEFI Debian CD on HP elitebook 840 G1

2015-01-06 Thread Jean Privat
, configure "custom boot method" with path "\EFI\debian\grubx64.efi". Also, change the boot order so "custom boot method" is the first choice -- Jean PRIVAT, professeur/professor Département d'informatique/Department of Computer Science U.Q.A.M. CP , succ. ce