Compiling l4re on ubuntu 12.10

Hi,

Could someone please let me know what the expected dev environment is
and which tool chains I should in fact be using?

I'm trying to compile L4Re for a pandaboard on a 32-bit stock standard
Ubuntu 12.10 dev machine with gcc-arm-linux-gnueabihf installed on it,
however during the "make O=<build-path> config" step, after going
through the menu config I get a pile of "bash: arm-linux-gcc: command
not found" error.

Thanks in advance,
Ali