Specifying the de-facto OS of a production SoC. - Ben Fiedler; Roman Meier; Jasmin Schult; Daniel Schwyn; Timothy Roscoe (KISV@SOSP, 2023)