Hi Misbah, >>>>> "misbah" == misbah khan <misbah100...@gmail.com> writes:
misbah> I am using seL4 for in our arm64 based hardware platform. misbah> I need to write a simple driver where i need to read/write misbah> some memory mapped registers misbah> The device physical address is "0x40520000" Are you sure there are readable registers at all addresses starting there, and that they are all 4 bytes wide? What does the corresponding fragment of the DTS say? Because the mapping must be OK if you can read even the first two 4-byte values; getting a fault at 0x40520000 + 8 implies perhaps a write-only register or no register there. -- Dr Peter Chubb https://trustworthy.systems/ Trustworthy Systems Group CSE, UNSW Core hours: Mon 8am-3pm; Wed: 8am-5pm; Fri 8am-12pm. _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
