| commit | a5c4a26129fb71a85eded6a437632d9f2fadc7f7 | [log] [tgz] |
|---|---|---|
| author | Mostafa Saleh <smostafa@google.com> | Thu Mar 23 12:41:49 2023 +0000 |
| committer | Mostafa Saleh <smostafa@google.com> | Sat Mar 25 09:56:18 2023 +0000 |
| tree | 3d590384db1824e2f9c797e1ff926a38e1223b8e | |
| parent | e17d182ad3f797f01947fc234d95c96c050c534b [diff] |
vfio: Add basic support for vfio-platform
A VFIO device can be assigned to guest with new cmdline
--vfio-platform ${dev} , where ${dev} is the name of the device under
/sys/bus/platform.
The device is expected to be bound to vfio-platform driver before
running the tool.
Currently fdt properties are hardcoded for designware-i2c.
THIS IS USED ONLY FOR TESTING AND NOT INTENDED FOR PRODUCTION.
Signed-off-by: Mostafa Saleh <smostafa@google.com>