embedded-linux is a project explaining how to make embedded-Linux work on different FPGA platforms. More info at the Wiki page