3,260
edits
Changes
m
→Build/configure Linux kernel
</pre>
The former command select selects the default Diva configuration, while the latter builds the kernel binary image with the required u-boot header.
Default linux kernel configuration can be changed by using the standard ''menuconfig'', ''xconfig'', ''gconfig'' make target.