[seL4] domain problems