A minimal DRM driver for VirtualBox