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

2015-01-13 Thread Steve McIntyre
On Tue, Jan 13, 2015 at 09:49:22AM -0500, Jean Privat wrote: >In the installer on the usbstick with upload3 in "UEFI Boot only >(Without CSM)" mode: > # cat /sys/firmware/efi/fw_platform_size > >64 I was hoping (maybe?) that you might have got 32 there, implying that the system wasn't booti

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 Computer Science U.Q.A.M.

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

2015-01-12 Thread Steve McIntyre
On Mon, Jan 12, 2015 at 03:40:50PM -0500, Jean Privat wrote: >> Yes, that sounds like the problem. You've ended up booting in BIOS >> mode, so the installer can't do any EFI things at all. Roughly when >> did you try this daily image? In the last month or so, or older than >> that? > >last wednesda

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

2015-01-12 Thread Jean Privat
> Yes, that sounds like the problem. You've ended up booting in BIOS > mode, so the installer can't do any EFI things at all. Roughly when > did you try this daily image? In the last month or so, or older than > that? last wednesday if I remember correctly. so 2015-01-07 >>* Seeing that the insta

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

2015-01-12 Thread Steve McIntyre
On Mon, Jan 12, 2015 at 09:35:30AM -0500, Jean Privat wrote: >> Hmmm, sounds like a BIOS/firmware bug if you need to add that custom >> boot method - UEFI boot option registration should work without >> that. > >After the install, the computer booted to windows. Using the bios >bootmenu (F9) the de

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

2015-01-12 Thread Jean Privat
> Hmmm, sounds like a BIOS/firmware bug if you need to add that custom > boot method - UEFI boot option registration should work without > that. After the install, the computer booted to windows. Using the bios bootmenu (F9) the default option is "OS Boot Manager" that boots windows. But "debian"

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

2015-01-11 Thread Steve McIntyre
On Tue, Jan 06, 2015 at 04:05:15PM -0500, Jean Privat wrote: >Hi, Hi Jean, >I just received a new laptop so naturally I installed Debian on it. *grin* Of course! >My steps: > >* on the elitebook, update the bios firmware trough the bios setup >* on an other computer, dd the image from >http://c

Install report with UEFI Debian CD on HP elitebook 840 G1

2015-01-06 Thread Jean Privat
Hi, I just received a new laptop so naturally I installed Debian on it. My steps: * on the elitebook, update the bios firmware trough the bios setup * on an other computer, dd the image from http://cdimage.debian.org/cdimage/unofficial/efi-development/jessie-upload2/ on a USB stick * the USB sti