port samsung exynos 5

[Waldo Paz Rodriguez]

Hi Genode hackers, I am changed the UART specifications, and compiled 
the printf scenario. This time I got a serial output, it seems to load 
the core process and then start the printf application, but a pagefault 
occurs. I attach the serial output:


## Starting application at 0x80000000 ...


kernel initialized

\0x1b[32mGenode 14.11\0x1b[0m

int main(): \0x1b[33m--- create local services ---\0x1b[0m

\0x1b[31mPagefault in core thread (core): ip=800019f4 fault=1008\0x1b[0m

\0x1b[34mfailed to communicate thread event\0x1b[0m

\0x00




Best regards, waldo
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20150129/e9445fc1/attachment.html>