It should be done in userspace, but then again, so should everything else[0].

0. https://microkerneldude.org/category/sel4/