I found OVM 4 for the Raspberrypi under "OVM 4.x for single board computers" in downloads. Rich Prim :)