Sebastien Boeuf de9471fc72 vmm: device_manager: Allocate IRQs for PCI devices ...

In order to support INTx for PCI devices, each PCI device must be
assigned an IRQ. This is preliminary work to reserve 8 IRQs which will
be shared across the 32 PCI devices.

Signed-off-by: Sebastien Boeuf <sebastien.boeuf@intel.com>

2021-02-10 17:34:56 +00:00

..

src

vmm: device_manager: Allocate IRQs for PCI devices

2021-02-10 17:34:56 +00:00

Cargo.toml

build(deps): bump vm-memory from 0.4.0 to 0.5.0

2021-02-10 11:30:05 +00:00