aboutsummaryrefslogtreecommitdiff
path: root/docs/tcg-exclusive.promela
diff options
context:
space:
mode:
authorJuergen Gross <jgross@suse.com>2016-11-22 07:10:56 +0100
committerStefano Stabellini <sstabellini@kernel.org>2016-11-22 10:29:32 -0800
commit873d57abbaa2225b66d0c54b5040242e749ddf28 (patch)
treeaea1b955afa19ce2770a2e1cbdb008ae529b1335 /docs/tcg-exclusive.promela
parentb85f9dfdb156ae2a2a52f39a36e9f1f270614cd2 (diff)
xen: add an own bus for xen backend devices
Add a bus for Xen backend devices in order to be able to establish a dedicated device path for pluggable devices. Signed-off-by: Juergen Gross <jgross@suse.com> Reviewed-by: Stefano Stabellini <sstabellini@kernel.org> Signed-off-by: Stefano Stabellini <sstabellini@kernel.org>
Diffstat (limited to 'docs/tcg-exclusive.promela')
0 files changed, 0 insertions, 0 deletions