2019-07-08 12:02:05 +02:00
|
|
|
type linkerconfig, domain, coredomain;
|
|
|
|
type linkerconfig_exec, exec_type, file_type, system_file_type;
|
|
|
|
|
|
|
|
init_daemon_domain(linkerconfig)
|
|
|
|
|
|
|
|
## Read and write linkerconfig subdirectory.
|
|
|
|
allow linkerconfig linkerconfig_file:dir rw_dir_perms;
|
|
|
|
allow linkerconfig linkerconfig_file:file create_file_perms;
|
|
|
|
|
2019-07-23 06:41:19 +02:00
|
|
|
# Allow linkerconfig to log to the kernel.
|
|
|
|
allow linkerconfig kmsg_device:chr_file w_file_perms;
|
|
|
|
|
2019-07-08 12:02:05 +02:00
|
|
|
neverallow { domain -init -linkerconfig } linkerconfig_exec:file no_x_file_perms;
|