Module dbs_device::resources

Descriptors representing device resource allocation requirements and assigned resources.

There are several components related to resource management:

• the Dragonball Secure Sandbox (VMM), which is responsible for creating and registering devices to the device manager.
• the device manager, which manages all devices of a Dragonball Secure Sandbox instance.
• the devices, which implement virtual device backends for the guest.

They cooperate with each to provide resources required by each device. The high level flow of resource management is as below:

1. the VMM creates a new device object.
2. the device returns an array of ResourceConstraint, describing the required resources and resource allocation constraints.
3. the VMM allocates required resources from a resource manager,
4. the VMM passes the allocated resources DeviceResources, which is an array of Resource, to the device object.
5. the VMM registers the new device onto corresponding device managers according the allocated resources.

Structs

DeviceResources

Newtype to store a set of device resources.

Enums

MsiIrqType

Type of Message Singaled Interrupt

Resource

Enumeration for device resources.

ResourceConstraint

Enumeration describing a device’s resource allocation requirements and constraints.