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 ...
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...
More information about the users