Noobie kernel questions

[g40]

Hello. We're using some of the A13 (not the Micro) boards with the Debian 34_75 distribution for embedded purposes. I've got a few really basic questions - can anyone help out?

I've got a Ubuntu VM with the arm-linux-gnueabihf tools installed in \usr

1. Building u-boot according to the instructions here* fails with a: 'No rule to make target A13-OLinuXino'. The command line used is:

make A13-OLinuXino CROSS_COMPILE=arm-linux-gnueabihf-

2. Is there a specific package for the A13 that can be installed to build kernel modules? apt-get install linux-headers does not appear to show anything suitable.

3. We've got sunxi-tools installed. Are there any prebuilt tools around for fex and friends?

4. Has anyone got any experiences/code they would like to sahre about using the FIQ on the A13?

I dare say there will be more. Thanks for listening.

http://olimex.wordpress.com/2014/01/15/building-debian-linux-bootable-sd-card-with-hardware-accelerated-video-decoding-and-kernel-3-4-for-a13-olinuxino/