diff options
| -rw-r--r-- | debian/db/etc/devlink.tab | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/debian/db/etc/devlink.tab b/debian/db/etc/devlink.tab index f085736..0bad854 100644 --- a/debian/db/etc/devlink.tab +++ b/debian/db/etc/devlink.tab @@ -8,5 +8,6 @@ type=ddi_pseudo;name=sdbc \D type=ddi_pseudo;name=sv \D type=ddi_pseudo;name=tpm \D type=ddi_pseudo;name=xsvc \M0 -type=ddi_pseudo;name=vboxdrv \D -type=ddi_pseudo;name=vboxusbmon \D +type=ddi_pseudo;name=vboxdrv \D +type=ddi_pseudo;name=vboxusbmon \D +type=ddi_pseudo;name=vboxms \D |