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