I probably should have stated that this is an attempt to run the “vm_minimal” application.
Looking at the registers (and I’m no expert in this department) it appears this could be an attempt to access data at address 0xb2000000 which is the location of the DTB, if anyone with great knowledge in this area could confirm that would be great. If that is correct, why would this result in a page fault? Stephen This message contains information that may be privileged or confidential and is the property of the Capgemini Group. It is intended only for the person to whom it is addressed. If you are not the intended recipient, you are not authorized to read, print, retain, copy, disseminate, distribute, or use this message or any part thereof. If you receive this message in error, please notify the sender immediately and delete all copies of this message. _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
