Hi, L4 hackers,

To solve the problem about "undefined reference to `clk_get_rate'", I select COMMON_CLK in config L4_PLATFORM_GENERIC. But when I build the L4Linux this occurs:

multiple definition of `clk_enable'

l4linux/arch/l4/kernel/arch-arm/l4.c:63: first defined here

So, Should I disable L4_CLK_NOOP in L4_PLATFORM_GENERIC?

Thank you very much!

Best Regards!

Youren Shen