typeattribute kernel coredomain;

domain_auto_trans(kernel, init_exec, init)