some questions in the l4 config

Adam Lackorzynski adam at
Thu Aug 30 00:08:35 CEST 2007

On Wed Aug 29, 2007 at 21:33:45 +0000, chenggh wrote:
> 	Thanks. There are still some questions about the l4 config
> 	 In the drops home directory we could use `make -C l4 config O=./build` to 
> enter the l4 configuration interface. There are some options I don't 
> understand as following:
>         Target Architecture  ---
>                         (x86) Target Architecture
> 	This option is ok and there are 3 options to be chosen.
>                         CPU type: "586"         
> 	This option is confused because it depends on our input. For example If my 
> cpu is pentim4 can I input p4 in the CPU type?  In this place is there 
> avaiable small cpu type set? 

You can basically put there what you want. It only affects gcc
optimization settings. For pentium4 it would be pentium4.

>                 (L4.V2)  ABI 
>                         (X) L4.V2
>                         ( ) L4.X2
>                         ( ) L4.Sec.(V2.emu)
>                         ( ) Linux
>                 There are four options to be chosen. L4.v2, L4.X2 and L4.sec 
> are explained  in other documents. But I choose Linux in this place what can 
> we do?

The ABI name would be set to linux. I think it's unused nowadays.

Adam                 adam at

More information about the l4-hackers mailing list