I am new in FPGA Embedded Development. I want to port FreeBSD using the embedded PPC in Xilinx Virtex4 ML403 board. Can anybody point me to the right path?? I want to know how the bootloader should also be.