From 5cb06b5f1ce6a17282401ab0c6e4dac2b4aed30c Mon Sep 17 00:00:00 2001 From: Christian Helmuth Date: Wed, 19 Apr 2023 16:47:35 +0200 Subject: [PATCH] platform_drv: document PCI device naming after BDF Issue #4812 --- repos/os/src/drivers/platform/README | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/repos/os/src/drivers/platform/README b/repos/os/src/drivers/platform/README index bc3e8512dc..32c7a1a09e 100644 --- a/repos/os/src/drivers/platform/README +++ b/repos/os/src/drivers/platform/README @@ -67,6 +67,12 @@ operate with global names of physical resources. Policy for PCI devices ---------------------- +PCI devices are named according to their bus-device-function triple as +hexadecimal BB:DD.F (see example below). Thus, dedicated devices can easily +be selected by name in policies. + +! + Policies for PCI devices do not necessarily need to state the name of the device, but can either state a class of devices, or a vendor/device pair of identifiers inside a pci sub-node: