|}
<section begin=BTELK/>=Instructions=Building Linux kernel==
It is assumed that the development environment has been set up properly as described [[Build_system_(BELK)|here]].
*start the Linux development server and login into the system
cp arch/arm/boot/dts/bora.dtb /tftpboot/bora
</pre>
<section end=BTELK/>