Debuggin kernel at scale

Facebook/meta has this interesting blog post on how they debug kernel using their ‘drgn’ tool.