Virtualizing an Infrastructure with System p and Linux