Problems compiling NICTA::Pistachio-embedded 1.3.0.

[Ben Leslie]

On Fri Dec 29, 2006 at 09:22:05 -0800, Jaeheon Yi wrote:
>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:

Hi Jaeheon,

It would be best to use the kenge-users mailing list
(https://lists.ertos.nicta.com.au/mailman/listinfo/kenge-users), for
any questions related to the NICTA::Pistachio kernel.

The NICTA::Pistachio kernel does not use Make, and is not designed to be
compiled in a stand-alone environment.

It would be best to download and start with the hello world project
available here:

http://www.ertos.nicta.com.au/software/kenge/hello-project/devel/

Cheers,

Benno