Re: kern/43220: NETSD 5.1_RC1 doesn't boot with ACPI enabled

[David Holland <dholland-bugs%netbsd.org@localhost>]

The following reply was made to PR kern/43220; it has been noted by GNATS.

From: David Holland <dholland-bugs%netbsd.org@localhost>
To: gnats-bugs%NetBSD.org@localhost
Cc: 
Subject: Re: kern/43220: NETSD 5.1_RC1 doesn't boot with ACPI enabled
Date: Sun, 27 Jun 2010 23:50:52 +0000

 On Sun, Jun 27, 2010 at 09:45:03AM +0000, Stefan Kr?ger wrote:
  > thanks for replying, I did some more tests (with 5.1_RC3) and it
  > booted just fine, even when the BIOS settings mentioned above are
  > set to AUTO...
 
 Thanks for checking :-)
 
  >  What's really keeping NetBSD from booting is the BIOS option
  >  
  >  Advanced -> CPU Configuration -> C1E Configuration
  >  
  >  (which is *not* enabled by default)
 
 I'm told there's a known issue with C1E (I had to go ask what it was...)
 
 -- 
 David A. Holland
 dholland%netbsd.org@localhost