[foxboard] +++ solved +++: cannot compile an image using SDK on XUBUNTU

[ottodererste]

this solved the problem:
sudo ln /usr/bin/gcc-3.4 /bin/cc

Hope, this will help others.
-otto