devices: adjust API documentation

Device ident may contain only characters allowed in qrexec argument.
This will allow using it directly in qrexec argument in Attach/Detach
methods.
This also means PCI extension will need to be updated (it uses ':' in
ident).

QubesOS/qubes-issues#853
This commit is contained in:
Marek Marczykowski-Górecki 2017-05-01 02:23:12 +02:00
parent ef031d6f0d
commit 4f0d72f99a
No known key found for this signature in database
GPG Key ID: 063938BA42CFA724

View File

@ -28,7 +28,7 @@ Devices can be of different classes (like 'pci', 'usb', etc). Each device
class is implemented by an extension. class is implemented by an extension.
Devices are identified by pair of (backend domain, `ident`), where `ident` is Devices are identified by pair of (backend domain, `ident`), where `ident` is
:py:class:`str`. :py:class:`str` and can contain only characters from `[a-zA-Z0-9._-]` set.
Such extension should provide: Such extension should provide:
- `qubes.devices` endpoint - a class descendant from - `qubes.devices` endpoint - a class descendant from