some questions in the l4 config
adam at os.inf.tu-dresden.de
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 os.inf.tu-dresden.de
More information about the l4-hackers