https://sel5summit2025.sched.com/event/26GIr/a-deep-dive-into-sel4s-binary-verification-story