Watchpoints

Corellium supports breakpoints on memory read / write, called watchpoints. Watchpoints are useful for debugging kernel code, as they allow you to break when a specific memory location is read or written to.

For example, you can use IDA to debug the kernel. In breakpoints settings ("Edit Breakpoint") enable the "Hardware" checkbox and then check "Read" within the "Hardware breakpoint mode" config.

When using GDB and LLDB, you can use the watch command to set a watchpoint.