How L4Linux Linked the header file?

[Adam Lackorzynski]

On Sun Apr 26, 2015 at 01:18:21 +0800, Youren Shen wrote:
> I find the reason of this problem is because the "config
> GENERIC_CLOCKEVENTS" is removed from file arch/arm/Kconfig after Kernel
> 3.4. As a result, the GENERIC_CLOCKEVENTS is not defined in the
> arch/l4/kconfig.arm.
> And the CONFIG_SMP depends on GENERIC_CLOCKEVENTS. So the
> CONFIG_GENERIC_CLOCKEVENTS and CONFIG_SMP will be unmask in build processes.

arch/l4/kconfig.arm is a modified copy of arch/arm/Kconfig, so make sure
that kconfig.arm contains just the change of arch/arm/Kconfig.
 
> Is there any way to get previous version of L4Linux? For instance, If I can
> get the source code of the L4Linux 3.4, it will be very helpful.

You can dig in the repo.


Adam
-- 
Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/