We gratefully acknowledge support from
the Simons Foundation and member institutions.

Paul Irofti is qualified to endorse.

OpenBSD formal driver verification with SeL4

Paul Irofti: Is registered as an author of this paper.
Can endorse for cs.CR, cs.CV, cs.LG, cs.NA, cs.SY, eess.SY, math.NA. (why?)

Adriana Nicolae and Ioana Leustean are not registered as owners of this paper. (why?)