boot a linux (ubuntu lucid) virtual machine and set up AGX