How to solve the problem about multiple definition of clk_enable?

[Youren Shen]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20150427/fa3ae167/attachment.html>