FreeBSD on PPC embedded on Xilinx FPGA

[Won De Erick]

Hello,

I noticed that PPC is well integrated in the Xilinx XPS for FPGA applications. There also RTOS that are integrated in the studio like uClinux, VxWorks, XIkernel, standalone, etc. Will it be possible for FreeBSD also?

My companion has been used to FreeBSD, and porting it to work on Xilinx FPGA (w/ the PPC embedded) would be a lot of an advantage. Anyone who can shed me some light?

Thanks,

Won