On 22.01.2015 13:03, Martin Stein wrote: > My Exynos 5250 manual says that > uart0_base is 0x12C00000 and uart1_base is 0x12C10000 while uart0/1_clk > should be the same as uart3_clk but both depend on the configuration I mean "... same as uart2_clk ..." (the clock Genode uses currently) not uart3_clk.