To be able to build the kernel on the device you should already be familiar with building the kernel itself (so that if there unmet dependencies, or other errors, then you can fix them).
The base tutorial for this is specified here: http://www.pcduino.com/how-to-build-kernel-for-pcduino/ however, it is meant if you want to crosscompile the kernel on an i386 platform. However, I wanted to bypass having to copy the kernel images and so on, thus, I decided to build the kernel on the device itself.
This is doable if you already have the board configured to bood from the sdcard slot (otherwise the NAND speed will slow things down).
Makre sure you have all the dependencies required to build the kernel.
sudo apt-get install build-essential git u-boot-tools texinfo texlive ccache zlib1g-dev gawk bison flex gettext uuid-dev libusb-1.0 pkg-config
You have to download the kernel sources using the command:
git clone https://github.com/pcduino/kernel.git
Before issuing configure, we need to modify two files (at the time or writing, 1 June 2014):
Please comment out the line:
answer pcDuino3 (or the other option if it suites you)
There might be other unmet dependencies that you could encounter – since depending on the packages already installed on the board – you might have all dependencies already downloaded, or just some of them. The instructions are Step 1 will cover a lot of cases, however, in case you encounter errors – please create a new topic on the forum.