vboxdevlink.sed revision f9fc8c7343143818644af6caf51a2b2520b8b7a9
# sed class script to modify /etc/devlink.tab
!install
/name=vboxdrv/d
$i\
type=ddi_pseudo;name=vboxdrv \\D
!remove
/name=vboxdrv/d