port samsung exynos 5

[Martin Stein]

Hi Waldo,

For further debugging it might be useful to know the content of your
'$BUILD_DIR/core/core' image for the given instruction pointer
(0x800019f4). You may achieve this via
'$GENODE_TOOLCHAIN/bin/genode-arm-objdump -DCl $IMAGE'. This should also
provide you with the location inside the source code that corresponds to
the given IP. This way, you should be able to dig deeper on the cause of
the fault. If you communicate your Genode branch (e.g. via github) I'd
be able to reproduce your image and refer to it as well.

Cheers,
Martin

On 29.01.2015 22:27, Waldo Paz Rodriguez wrote:
> 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
>
>
> ------------------------------------------------------------------------------
> Dive into the World of Parallel Programming. The Go Parallel Website,
> sponsored by Intel and developed in partnership with Slashdot Media, is your
> hub for all things parallel software development, from weekly thought
> leadership blogs to news, videos, case studies, tutorials and more. Take a
> look and join the conversation now. http://goparallel.sourceforge.net/
>
>
> _______________________________________________
> genode-main mailing list
> genode-main at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20150130/e9925261/attachment.html>