L4Ka::Pistachio build

select kernel to build. We propose to select 2.6.x kernel for real hardware.

make world, compilation can be stopped with error because problems with some header files generation.

cd to build pistachio-kernel-<arch>

make tcb_layout.h

make asmsyms.h

make kdb_class_helper.h

make kdb_autogenerated_protos.h

cd to root build dir

make world

Note: According to set of build tools you can have problems with build process. For example, GCC 4 not supported well. With latest binutils you need apply patch to some kernel inline instructions (available on kernel.org site). And so on.