[seL4] RT and domains