*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_nfs|here]].