Hello sel4 Developers.

Thanks in advance.

I want to debug with gdb in x86-64, aarch64

Is there any highlight changed register tool or .gdbinit or anything in gdb?

If you know any gdb debugging easily in x86-64,aarch64, please let me know.

Have a nice day! BR, MK

________________________________ 发件人: KIM MK 发送时间: 2019年5月27日 12:38 收件人: devel@sel4.systems 主题: 回复: Devel Digest, Vol 60, Issue 18

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