[seL4] Re: I Have some questions about the domain mechanism in the seL4

So the domain mechanism is used to control information flow and prevent information leakage between differernt domains. Can it used for realizing the time isolation of services with different security levels through domains? Thanks for your helpful reply!