Re: [seL4] vmm documentation

I don't think this is possible with how seL4 manages the page tables in the ARM hyp model (Someone who is more familiar with this may need to correct me here). You may be able to achieve the same result by telling Linux that there is some device memory somewhere there is not and rely on a data abort to trap to hyp mode? Kent. ________________________________________ From: Devel on behalf of Mike Clark Sent: Thursday, June 29, 2017 5:17 AM To: devel@sel4.systems Subject: Re: [seL4] vmm documentation There is something else I want to try to do. I got the inspiration from here: https://community.arm.com/processors/f/discussions/4065/trap-to-hypervisor-i... It looks like from the ARM Reference manual that if I set the two least-significant bits of an entry in the first or second level translation table to be b00, then there will be a page fault any time that page is accessed. How would I do this in seL4 from the VMM? Is that currently possible to do? Thanks! On Thu, Jun 8, 2017 at 12:26 PM, Mike Clark wrote:

Is there any documentation on how the VMM works? If I wanted to start hacking on the VMM and extend its capability, where should I start looking to learn how it works, etc?

That might be a pretty broad topic, because there are lots of ways the VMM can be extended, I'm sure. Broad is fine, until I get things more figured out.

_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel