Maintaining simulation relations. a) Which requirement guarantees that the abstract kernel does not break the invariants? b) Change the game by allowing the abstract kernel to use inline assembly. How...

Maintaining simulation relations.

a) Which requirement guarantees that the abstract kernel does not break the invariants?

b) Change the game by allowing the abstract kernel to use inline assembly. How could you destroy invariants for the process control blocks or the simulation of user memory while running such an abstract kernel?