pci-bios

Provide support for the PCI BIOS


Note: You must be root to start this server.

Syntax:

pci-bios [-b buses] [-m] [-v] [-dbios bios_options]

Runs on:

x86

Options:

-b buses
The number of PCI buses to scan. The default is 10.
-dbios bios_options
BIOS options, which include:
irqlist=irq1,irq2,...
Pass a list of IRQs to the BIOS. For example:
irqlist=5,7,9
    
-m
Don't map IRQs; some BIOSes don't support IRQ mapping.
-v
Verbose output; display detailed information on the console.

Description:

The pci-bios server provides PCI BIOS support. You'll have to provide it in your boot image for systems with a PCI BIOS. Invoke seedres before starting pci-bios.

This server creates the /dev/pci device. Wait for it to appear by specifying the following in the buildfile used by mkifs:

pci-bios
waitfor /dev/pci

See also:

seedres

pci_attach(), pci_attach_device(), pci_detach(), pci_detach_device(), pci_find_class(), pci_find_device(), pci_present(), pci_read_config(), pci_read_config8(), pci_read_config16(), pci_read_config32(), pci_write_config(), pci_write_config8(), pci_write_config16(), pci_write_config32() in the Library Reference

Controlling How Neutrino Starts in the Neutrino User's Guide