>>>>> "Turner," == Turner, Ben <ben.tur...@roke.co.uk> 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 _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
