<section begin=BELK/>==InstructionsBooting the system via NFS==It is assumed that the development environment has been set up properly as described [[Build_system_(BORA_SOM/BELK)-L/Development/Build_system|here]].
Assuming that:
*the CPU module is booting with a working FSBL (or U-boot SPL for BELK-4.0.0/BXELK-2.0.0) and U-Boot image (either from flash NOR SPI or flash NAND or MicroSD card)
*a kernel image is available and ready to be downloaded through tftp
*the root file system has been uncompressed into a nfs share
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_nfsBORA_SOM/BELK-L/General/Booting_from_NFS|here]].