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