>>nickps+eJ1
> One example is where the state is read-only without physical modification of the machine such as changing a jumper or flipping a switch.
Joanna Rutkowska, the main developer of Qubes OS, has an article about it and probably is working hard on the implementation for x86 laptops: