Hardware architecture support for mixed criticality and real-time systems