Hi Genode hackers, I am did several printf to locate the error and it's located on this lines
about line 226: static Rm_root rm_root (e, e, e, &sliced_heap, core_env()->cap_session(), platform()->vm_start(), platform()->vm_size());
about line 80: Platform_generic *Genode::platform() { return platform_specific(); }
about line 73: Platform *Genode::platform_specific() { static Platform _platform; return &_platform; }
best regards waldo
Hi Waldo,
We have had a similar problem with the Odroid-XU (also Exynos5) recently. We've found that most of our Arndale-"specific" Code applied to Odroid-XU as well so we moved most of that stuff into Exynos5-specific files. That fixed our problems. The regarding discussion and commits can be found here:
https://github.com/genodelabs/genode/issues/1396
The fix has not moved to our master branch yet but it can be found on our staging branch If you like give it a try:
https://github.com/genodelabs/genode/tree/staging
Either way, you should prefer our Arndale code over our Odroid-XU code as reference as it is better tested and apparently more generic than stated.
Besides, have you tried debugging from the given IP as mentioned in my last mail? You might also obtain further information on the fault through 'User_context::in_fault' in 'base-hw/src/core/include/spec/arm/cpu_support.h'. Another option would be to instrument 'Translation_table' in 'base-hw/src/core/include/spec/arm/short_translation_table.h' to see details on the mappings that are made.
Cheers, Martin
On 09.02.2015 17:21, Waldo Paz Rodriguez wrote:
Hi Genode hackers, I am did several printf to locate the error and it's located on this lines
about line 226: static Rm_root rm_root (e, e, e, &sliced_heap, core_env()->cap_session(), platform()->vm_start(), platform()->vm_size());
about line 80: Platform_generic *Genode::platform() { return platform_specific(); }
about line 73: Platform *Genode::platform_specific() { static Platform _platform; return &_platform; }
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@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
-
Martin Stein -
Waldo Paz Rodriguez