Implements hardware partitions and secure channels
Device Dependent: Makes use of more or less hardware support for QoS and Partitions
Implementation of hardware partitions and secure channel
– Device dependent: Exploits hardware support for
QoS and partitioning when available