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