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: Sun, 23 Dec 2018 21:37:40 +0000

 Just reproduced that page fault with Dec 22 20:41 UTC code on a
 Asus P8Z77-V LX based computer. Advantage that it has a PS/2 keyboard
 and a serial port.
 
 BIOS Information
         Vendor: American Megatrends Inc.
         Version: 2501
         Release Date: 07/21/2014