*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 sharethe system can boot using the net_nfs1 <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 inhttp://wiki.dave.eu/index.php/ [[Booting_Linux_Kernel#Configuration_net_nfs|here]].
The net_nfs configuration, besides setting the system for booting from the network, triggers a command (program_fpga) which loads the FPGA binary from TFTP and programs the bitstream{{notelist}}