Thanks! I suggest to have a look at a 'live' debugger session video here: https://github.com/dmkskd/linux-kernel-debugging-on-mac?tab=... given your interest

if you have an ARM64 mac (sorry for only supporting this OS at the moment) it should be easy to set this up on your end