Re: [seL4] devices.camkes: vm#.untyped_mmios: What does the integer after the addresses in this array represent?

...

...

...

...

"Turner," == Turner, Ben writes:

Turner,> Hi all, As stated in the question, I'm not certain about how Turner,> the integer part of the elements in the untyped_mmios array Turner,> in devices.camkes are derived? It's a power-of-two, representing the size of the object. 2^12 is 4096 or 0x1000, 2^24 is 0x01000000 -- Dr Peter Chubb Tel: +61 2 9490 5852 http://ts.data61.csiro.au/ Trustworthy Systems Group CSIRO's Data61