page fault while in kernel mode

[John Baldwin]

On Tuesday 21 October 2008 02:47:11 pm Jeremy Chadwick wrote:
> On Tue, Oct 21, 2008 at 02:35:22PM -0400, Robert Fitzpatrick wrote:
> > On Tue, 2008-10-21 at 12:03 -0400, John Baldwin wrote:
> > > Some drivers don't work with PAE (see all the 'nodevice' lines 
> > > in /sys/i386/conf/PAE).  You'll need to purge those drivers from your
> > > config.  
> > > If you are using the hardware those drivers support, then you can't
> > > use PAE.
> > 
> > Thanks for the help. Excuse the ignorance, I'm more a programmer than
> > system guy. How do I purge a driver, or know which driver to look for,
> > from the config and know what the driver supports? Do you mean, in this
> > case, remove 'nodevice adv' from the PAE file? If so, I don't know what
> > that supports :/
> 
> Yeah, I don't think anyone's really explaining this very well to you, so
> I'll try a different approach:
> 
> Certain FreeBSD drivers do not work in PAE mode.
> 
> The drivers which don't work are listed in the /sys/i386/conf/PAE
> file.  They're prefixed by the word "nodevice", which tells the
> kernel config reader "DO NOT build this device, because it won't
> work".
> 
> You will need to take the "nodevice" lines from /sys/i386/conf/PAE and
> put them into your kernel config file.  (There are alternative methods
> such as using "include" directives and so on, but I'm trying to keep
> this explanation simple.)
> 
> Make sense now?  :-)

Alternatively, you could just remove the 'device adv' line from your kernel 
config rather than adding lots of 'nodevice' lines at the bottom.  You can 
usually do 'man 4 <driver name>' to see what devices it supports.  In this 
case, adv(4) supports mostly ancient Advansys SCSI host adapters.  The 
manpage has a full list of the various model numbers, etc.

-- 
John Baldwin