[seL4] Combatting spam