port samsung exynos 5

Waldo Paz Rodriguez waldopaz at ...210...
Thu Jan 29 22:27:15 CET 2015

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


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

More information about the users mailing list