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@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main