port samsung exynos 5

[Waldo Paz Rodriguez]

Hi Martin, thanks for yours tips, I am using the Uboot for the yse5250. 
It boot fine, but when I am loading the genode binary(elf), it stays 
loading the system and doesnt show nothing on the serial console.

best regards, waldo
El 22/01/15 a las 07:07, Martin Stein escribió:
> 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.
>
> ------------------------------------------------------------------------------
> New Year. New Location. New Benefits. New Data Center in Ashburn, VA.
> GigeNET is offering a free month of service with a new server in Ashburn.
> Choose from 2 high performing configs, both with 100TB of bandwidth.
> Higher redundancy.Lower latency.Increased capacity.Completely compliant.
> http://p.sf.net/sfu/gigenet
> _______________________________________________
> genode-main mailing list
> genode-main at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main