Andrew Warfield: Virtual devices for virtual machines. University of Cambridge, UK 2006