Michal Orzel and Ayan Kumar Halder from AMD published their presentation “Xen Functional Safety — Update” from the Xen Summit 2024.

It’s an interesting read.

They talk about how OpenFastTrace helps in their documentation process on slide 20.