[seL4] Subscription