4 lines
77 B
Plaintext
4 lines
77 B
Plaintext
|
typeattribute kernel coredomain;
|
||
|
|
||
|
domain_auto_trans(kernel, init_exec, init)
|