Re: port-amd64/53808: efi boot page fault

[Patrick Welche <prlw1%cam.ac.uk@localhost>]

The following reply was made to PR port-amd64/53808; it has been noted by GNATS.

From: Patrick Welche <prlw1%cam.ac.uk@localhost>
To: gnats-bugs%netbsd.org@localhost
Cc: 
Subject: Re: port-amd64/53808: efi boot page fault
Date: Tue, 9 Apr 2019 16:11:03 +0100

 I revisited the intel server. I can reproduce the bug on 8.99.37. It doesn't
 add much to the story, but as USB keyboard input is ignored at the db>
 prompt, I just booted a kernel with "bt" run on entry to ddb:
 
 efi_getsystbl.part.3() at netbsd:efi_getsystbl.part.3+0x4e
 efi_init() at netbsd:efi_init+0x30
 cpu_configure() at netbsd:cpu_configure+0xe
 main() at netbsd:main+0x301