Command line tool to configure the VKMS Linux kernel driver - View it on GitHub