Building Uboot for a20

[vale61]

Hello, I'm new of this board and of embedded world in general. I have a good knowledge of linux and programming in general, so I tried to follow the "How to make bootable SD card with Debian Linux for A20-OLinuXino-MICRO based on Kernel 3.4".

My computer runs Ubuntu 13.10 and the howto for building uboot files worked except for the following issues:

1. I had to make a couple of symbolic links:
ln -s /usr/bin/arm-linux-gcc /usr/bin/arm-linux-gnueabihf-gcc-4.7
ln -s /usr/bin/arm-linux-ld /usr/bin/arm-linux-gnueabihf-ld

2. Build command: "make A20-OLinuXino_MICRO CROSS_COMPILE=arm-linux-gnueabihf-"
must be changed in "make a20-olinuxino_micro CROSS_COMPILE=arm-linux-gnueabihf-"

I post this topic just for a reminder and to help anybody else having similar issues.
And now I have to build the kernel...

Have a nice day.