domains/misc/kernel.te