1typeattribute kernel coredomain;
2
3domain_auto_trans(kernel, init_exec, init)
4