Howto, correction needed ?

[Etienne <etienne.pub%magickarpet.org@localhost>]

Dear all,

If I'm not missing anything, there's a small mistake here:
http://www.netbsd.org/ports/xen/howto.html#pci-pass-through

The example kernel config file should read:

    xpci* at xenbus ?

and not:

    xpci* at hypervisor?

At least, config(8) complains about the first (and fails), and GENERIC uses the
second. Can someone please make the correction ?

Cheers.

-- 
Etienne