1# Life begins with the kernel. 2type kernel, domain; 3# The kernel is unconfined. 4unconfined_domain(kernel) 5