[seL4] General Questions