*start the Linux development server and login into the system*assuming that a local repository has not been created, clone the remote Linux git repository (the “-b” option is used to automatically checkout the current branch):

setup *Setup the server environment (please refer to [[Build_system_(BELK)#Pre-built_toolchain|this section 3.3.3.3]])*enter the source tree directory and run the following commands:<pre>

</pre>**:The former command selects the default BORA configuration, while the latter builds the kernel binary image with the required u-boot header and the kernel device tree. Please note that the <code>mkimage </code> tool is required for building the <code>uImage </code> binary. This tool must be installed on the Linux development server (please refer to the package manager of the Linux distribution). Default linux kernel configuration can be changed by using the standard <code>menuconfig</code>, <code>xconfig</code>, or <code>gconfig </code> make target. Subsequent builds just require <code>uImage </code> make target to update the binary image. Once the build process is complete, the kernel binary image is stored into the <code>arch/arm/boot/uImage </code> file. Both this file and the kernel device tree can be copied to the tftp root directory (eg. <code>/srv/tftp/belk/</code>) with the following commands:<pre>