Hello Sel4 developer,

Thanks for your support. 

Aditya and me are debugging physical memory sel4. 

Is there visual tool or analysis module or anything to debugging that

physical memory to virtual mapping table. 

If you have any question, please let me know.

BR,

MK