Xilinx is shipping a development kit for its high-end Virtex-5 FXT FPGA (field-programmable gate array) that supports dual PowerPC440 processors.
The Virtex-5 FXT FPGA ML510 Embedded Development Platform includes an ATX-format evaluation board, and is available with a Linux BSP (board support package).