Hello , L4 hackers

I always appreciate L4 hackers.

I've succeed boot "helloworld + L4/Fiasco" on Freescale i.MX6q_sabre_sd.
So, I've try to build L4 linux (Repository : svn co http://svn.tudos.org/repos/oc/l4linux/trunk l4linux).

I've configured  for build L4 Linux

such as..
======================================================
System type ---> ARM system type (Allow multiple platforms to be selected)
Multiple platform selection  ---> ARMv7 based platforms (Cortex-A, PJ4, Scorpion, Krait)
Build type
    Freescale i.MX family
      Freescale i.MX support  ---> i.MX6 Quad/DualLite support
======================================================

But I've meet errors even  so often.
such as ..

1. ERROR: CONFIG_ARM_PATCH_PHYS_VIRT must not be enabled.
=> So, I've force to change CONFIG_ARM_PATCH_PHYS_VIRT=y to =n .

2. irq.c:16:26: error: 'L4X_NR_IRQS_V_DYN' undeclared here
irq.c:46:14: error: 'L4X_IRQS_V_DYN_BASE' undeclared and irq.c:48:14: error: 'NR_IRQS_HW' undeclared
=> So, I've included  "#include <asm/generic/irq-vectors.h>" and "#include <asm/mach-arm/generic/mach/irqs.h>".

3. l4.c:57:13: error: 'L4X_IRQS_V_STATIC_BASE' undeclared ...etc.
=> So, I've included  "#include <asm/generic/irq-vectors.h>" and "#include <asm/mach-arm/generic/mach/irqs.h>".

4.
drivers/built-in.o: In function `clk_disable':
clk.c:867: multiple definition of `clk_disable'
arch/l4/built-in.o:/home/taeung/workspace/l4linux/arch/l4/kernel/arch-arm/l4.c:73: first defined here
drivers/built-in.o: In function `clk_enable':
clk.c:919: multiple definition of `clk_enable'
arch/l4/built-in.o:/home/taeung/workspace/l4linux/arch/l4/kernel/arch-arm/l4.c:65: first defined here

make[1]: *** [vmlinux] Error 1
make: *** [sub-make] Error 2

=> So, I delete this lines in l4linux/drivers/clk/clk.c.

7. undefined reference to `__pv_phys_offset' from signal.c , init.c, mm.h ....etc.
 

My question is....
Is it's problem that my config is wrong
or l4 linux lack source code about Freescale i.MX6 Quad ?

* Refer to >
/home/taeung/workspace/l4linux/arch/l4/kernel/irq.c
/home/taeung/workspace/l4linux/arch/l4/include/asm/generic/irq-vectors.h
/home/taeung/workspace/l4linux/arch/l4/kernel/pm.c
/home/taeung/workspace/l4linux/arch/l4/kernel/arch-arm/l4.c
/home/taeung/workspace/l4linux/arch/l4/l4lxlib/generic/irq_gen.c
/home/taeung/workspace/l4linux/drivers/clk/clk.c
/home/taeung/workspace/l4linux/arch/l4/kernel/arch-arm/signal.c
/home/taeung/workspace/l4linux/arch/l4/mm/arch-arm/init.c
/home/taeung/workspace/l4linux/include/linux/mm.h