MicroHasTEE: Bare-Metal Haskell for Type-Level Peripheral Ownership on Armv8-M
Arm TrustZone for Armv8-M isolates Secure and Non-secure software, but developers must still coordinate peripheral attribution, interrupt routing, initialization, and gateway interfaces across separately built firmware images. Inconsistent assumptions between these images can compile successfully and emerge only as fau...