Some useful information about getting Linux to work at VHT (for development)