I posted some basic instructions to get Linux Mint 10 working on the HP Elitebook 8560p here.