2012-01-04 18:33:27 +01:00
|
|
|
# Life begins with the kernel.
|
|
|
|
type kernel, domain;
|
2014-01-25 05:43:07 +01:00
|
|
|
|
2014-05-23 17:26:19 +02:00
|
|
|
# setcon to init domain.
|
|
|
|
allow kernel self:process setcurrent;
|
2014-01-25 05:43:07 +01:00
|
|
|
allow kernel init:process dyntransition;
|
|
|
|
|
2012-01-04 18:33:27 +01:00
|
|
|
# The kernel is unconfined.
|
|
|
|
unconfined_domain(kernel)
|
2013-07-10 23:46:05 +02:00
|
|
|
|
2014-05-30 15:53:00 +02:00
|
|
|
# cgroup filesystem initialization prior to setting the cgroup root directory label.
|
|
|
|
allow kernel unlabeled:dir search;
|
|
|
|
|
2014-05-29 20:35:55 +02:00
|
|
|
# init direct restorecon calls prior to switching to init domain
|
|
|
|
# /dev and /dev/socket
|
|
|
|
allow kernel { device socket_device }:dir relabelto;
|
|
|
|
# /dev/__properties__
|
|
|
|
allow kernel properties_device:file relabelto;
|
|
|
|
# /sys
|
|
|
|
allow kernel sysfs:{ dir file lnk_file } relabelfrom;
|
|
|
|
allow kernel sysfs_type:{ dir file lnk_file } relabelto;
|
2013-12-06 14:05:53 +01:00
|
|
|
|
|
|
|
# Initial setenforce by init prior to switching to init domain.
|
2014-05-12 23:32:59 +02:00
|
|
|
# We use dontaudit instead of allow to prevent a kernel spawned userspace
|
|
|
|
# process from turning off SELinux once enabled.
|
|
|
|
dontaudit kernel self:security setenforce;
|
2014-01-08 15:29:30 +01:00
|
|
|
|
|
|
|
# Set checkreqprot by init.rc prior to switching to init domain.
|
|
|
|
allow kernel self:security setcheckreqprot;
|