[seL4] Re: Device memory access issue on sel4 user driver

Hi Misbah,

...

...

...

...

"misbah" == misbah khan 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.