Changes

|}

==Instructions==

It is assumed that the development environment has been set up properly as described [[Build_system_(BELK)|here]].

the system can boot using the <code>net_nfs</code>{{efn|The net_nfs configuration, besides setting the system for booting from the network, triggers a command (<code>program_fpga</code>) which loads the FPGA binary from TFTP and programs the bitstream.}} configuration, as described [[Booting_Linux_Kernel#Configuration_net_nfs|here]].

{{notelist}}