Minimum Viable Device Drivers for ARM TrustZone

Liwei Guo, Felix Xiaozhu Lin

While TrustZone can isolate IO hardware, it lacks drivers for modern IO devices. Rather than porting drivers, we propose a novel approach to deriving minimum viable drivers: develo…