Re: port samsung exynos 5

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