Thanks for the quick reply, Martin.

I'll pull the current master branch tomorrow and let you know if it fixes my issue.

Thanks for the debugging tip on core faults.
My core-only mmio regions are the same as they were in 14.02 and unless the handling of the region has changed I should have the correct translation table entries. My PDBG output from the _mmu_exception method was:

void Kernel::Thread::_mmu_exception(): f_addr 0x1008 f_writes 0x1 f_pd 0x813d6004 f_signal 0x0 label core

Looks like I've a problem with the fault address, so I'll keep digging to see where that is coming from.

Thanks,
        Bob
On 08/11/2014 07:54 AM, Martin Stein wrote:
Hi Bob,

On 09.08.2014 22:21, Bob Stewart wrote:

I went back to the 14.05 issues today and found I could get the kernel 
initialization to complete successfully if I reverted the S bit to 
"unshared" in the memory attributes in a Section entry create. Prior to 
14.05 this bit was set to "unshared" and was presumably changed in 14.05 
to allow for multiple processors accessing the same memory regions.

We had an issue (https://github.com/genodelabs/genode/issues/1181)
recently that the shared-bit should be set only when using SMP. The
related changes are in the current state of our master branch
(https://github.com/genodelabs/genode/tree/master) but not in version
14.05. Could you please give it a try?


In addition, after completing kernel initialization, core's "main" 
function is entered, the info message for creating local services shows 
up, a translation for the top of RAM (0x80000000) is created, then the 
message "failed to communicate thread event" occurs and init is never 
called. Any thoughts on why that message is appearing would be 
appreciated. It appears to be coming from initialization of the root 
interfaces.

This seems to be a page fault in core. Normally core should never
trigger a page fault because there's no one to handle it. So the kernel
doesn't know who to inform about it and thus prints this message. To
prevent this situation, memory regions statically needed by core
(program image, MMIO regions) get mapped 1:1 in the 'Core_pd'
constructor in 'base-hw/src/core/kernel/kernel.cc' using, among others,
the platform specific method 'Platform::_core_only_mmio_regions'. I
assume that your port misses a region in this function. You can get
further information about the page fault by printing things like
'_fault_addr', '_fault_writes', 'char const * Thread::label()', and
'unsigned long Thread::ip' in the method 'Thread::_mmu_exception()' in
'base-hw/src/core/arm/cpu_support.cc' right before '_fault.submit()'.

Cheers
Martin

------------------------------------------------------------------------------
_______________________________________________
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main