Compiling l4re on ubuntu 12.10

Ali Nehzat ali.nehzat at
Sun Nov 4 07:09:22 CET 2012


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,

More information about the l4-hackers mailing list