Problems compiling NICTA::Pistachio-embedded 1.3.0.

[Jaeheon Yi]

Hello,

I'm attempting to compile NICTA::Pistachio-embedded, version 1.3.0.
I've downloaded the source using tla, via `tla get
ertos at nicta.com.au--public/pistachio--release my_pistachio`.

When I follow the standard L4 compile procedure and perform make, I
get this message:

[jaeheon at l4rbed ia32-kernel-build]$ make menuconfig
dirname: too few arguments
Try `dirname --help' for more information.
bash: /gccgcc: No such file or directory
make[1]: Entering directory `/src/NICTA-1.3.0/ia32-kernel-build'
make[2]: Entering directory `/src/NICTA-1.3.0/ia32-kernel-build/config'
Compiling rules, please wait......(0.72 sec) Done.
Loading 'config.out' failed, continuing...
Rewriting Makeconf.local ...
make[2]: Leaving directory `/src/NICTA-1.3.0/ia32-kernel-build/config'
make[1]: Leaving directory `/src/NICTA-1.3.0/ia32-kernel-build'
[jaeheon at l4rbed ia32-kernel-build]$ make
dirname: too few arguments
Try `dirname --help' for more information.
bash: /gccgcc: No such file or directory
make[1]: Entering directory `/src/NICTA-1.3.0/ia32-kernel-build'
make[1]: *** No rule to make target `src/generic/mapping_alloc.cc',
needed by `.depend'.  Stop.
make[1]: Leaving directory `/src/NICTA-1.3.0/ia32-kernel-build'
make: *** [all] Error 2
[jaeheon at l4rbed ia32-kernel-build]$

I've tried doing this for the ARM architecture ala Ben Leslie's L4 dev
slides, and that also ends up not finding a certain file. I get the
feeling that I am missing some files, or perhaps I have to tweak some
config files? I would appreciate any pointers on this issue.

Thank you,

Jaeheon Yi