On Fri, 7 Feb 2025 10:51:11 +0900
Masami Hiramatsu (Google) [off-list ref] wrote:

quoted

  # cat instances/boot_mapped/last_boot_info
  Offset: 10c00000
  ffffffffc00ca000 usb_serial_simple
  ffffffffc00ae000 usbserial
  ffffffffc008b000 bfq  

This is just a suggestion, what about using the same format for all
lines? For example,

# cat instances/boot_mapped/last_boot_info
10c00000         [kernel]
ffffffffc00ca000 usb_serial_simple
ffffffffc00ae000 usbserial
ffffffffc008b000 bfq

This can be confusing because the first is an offset, and the others are
addresses.

quoted

  # echo function > instances/boot_mapped/current_tracer
  # cat instances/boot_mapped/last_boot_info
  Offset: current  

And this one is empty if it is already for the current.
(because last boot information is cleared)

Hmm, I have to think about that.

Thanks,

-- Steve