[okl4-developer] development environment for L4 Project

[Nelson Tam]

Hi 암흑마스크,

On 29/02/2008, at 2:56 AM, 암흑마스크 wrote:

>  Lately, What is the best environment for L4 microkernel development.
>
>   redhat fedora core 4 ? or 5?  .
>
>  I want to know the best development environment for L4 Project.


You should use gcc 3.4.4.  If you're doing cross-platform development,  
then you'll need cross-compiling toolchains (e.g. arm-linux-gcc  
3.4.4).  The crosstool project http://www.kegel.com/crosstool/ will  
help you here.

You'll need python >= 2.4.4 for the build system.

Plus, simulators if you don't have real hardware.  We use qemu 0.8.2  
and skyeye 1.2.3 around here.
--
(nt)

Nelson Tam
nelson at ok-labs.com