|
Chris PeBenito |
e181fe |
|
|
Chris PeBenito |
960373 |
policy_module(bootloader,1.0)
|
|
Chris PeBenito |
960373 |
|
|
Chris PeBenito |
a2d824 |
########################################
|
|
Chris PeBenito |
a2d824 |
#
|
|
Chris PeBenito |
a2d824 |
# Declarations
|
|
Chris PeBenito |
a2d824 |
#
|
|
Chris PeBenito |
a2d824 |
|
|
Chris PeBenito |
c9428d |
attribute rw_kern_modules;
|
|
Chris PeBenito |
b4cd15 |
|
|
Chris PeBenito |
b4cd15 |
#
|
|
Chris PeBenito |
b4cd15 |
# boot_t is the type for files in /boot
|
|
Chris PeBenito |
b4cd15 |
#
|
|
Chris PeBenito |
b4cd15 |
type boot_t;
|
|
Chris PeBenito |
c9428d |
files_file_type(boot_t)
|
|
Chris PeBenito |
c9428d |
files_mountpoint(boot_t)
|
|
Chris PeBenito |
b4cd15 |
|
|
Chris PeBenito |
5f75f5 |
#
|
|
Chris PeBenito |
5f75f5 |
# boot_runtime_t is the type for /boot/kernel.h,
|
|
Chris PeBenito |
5f75f5 |
# which is automatically generated at boot time.
|
|
Chris PeBenito |
5f75f5 |
# only for Red Hat
|
|
Chris PeBenito |
5f75f5 |
#
|
|
Chris PeBenito |
70dcf7 |
type boot_runtime_t;
|
|
Chris PeBenito |
c9428d |
files_file_type(boot_runtime_t)
|
|
Chris PeBenito |
70dcf7 |
|
|
Chris PeBenito |
5f75f5 |
type bootloader_t;
|
|
Chris PeBenito |
c9428d |
domain_type(bootloader_t)
|
|
Chris PeBenito |
3ce6cb |
role system_r types bootloader_t;
|
|
Chris PeBenito |
5f75f5 |
|
|
Chris PeBenito |
5f75f5 |
type bootloader_exec_t;
|
|
Chris PeBenito |
c9428d |
domain_entry_file(bootloader_t,bootloader_exec_t)
|
|
Chris PeBenito |
5f75f5 |
|
|
Chris PeBenito |
b4cd15 |
#
|
|
Chris PeBenito |
b4cd15 |
# bootloader_etc_t is the configuration file,
|
|
Chris PeBenito |
b4cd15 |
# grub.conf, lilo.conf, etc.
|
|
Chris PeBenito |
b4cd15 |
#
|
|
Chris PeBenito |
b4cd15 |
type bootloader_etc_t alias etc_bootloader_t;
|
|
Chris PeBenito |
c9428d |
files_file_type(bootloader_etc_t)
|
|
Chris PeBenito |
b4cd15 |
|
|
Chris PeBenito |
b4cd15 |
#
|
|
Chris PeBenito |
b4cd15 |
# The temp file is used for initrd creation;
|
|
Chris PeBenito |
b4cd15 |
# it consists of files and device nodes
|
|
Chris PeBenito |
b4cd15 |
#
|
|
Chris PeBenito |
b4cd15 |
type bootloader_tmp_t;
|
|
Chris PeBenito |
c9428d |
files_tmp_file(bootloader_tmp_t)
|
|
Karl MacMillan |
f0c985 |
dev_node(bootloader_tmp_t)
|
|
Chris PeBenito |
b4cd15 |
|
|
Chris PeBenito |
5f75f5 |
# kernel modules
|
|
Chris PeBenito |
5f75f5 |
type modules_object_t;
|
|
Chris PeBenito |
c9428d |
files_file_type(modules_object_t)
|
|
Chris PeBenito |
5f75f5 |
|
|
Chris PeBenito |
c9428d |
neverallow ~rw_kern_modules modules_object_t:file { create append write };
|
|
Chris PeBenito |
5f75f5 |
|
|
Chris PeBenito |
5f75f5 |
#
|
|
Chris PeBenito |
5f75f5 |
# system_map_t is for the system.map files in /boot
|
|
Chris PeBenito |
5f75f5 |
#
|
|
Chris PeBenito |
5f75f5 |
type system_map_t;
|
|
Chris PeBenito |
c9428d |
files_file_type(system_map_t)
|
|
Chris PeBenito |
5f75f5 |
|
|
Chris PeBenito |
8a0da1 |
########################################
|
|
Chris PeBenito |
8a0da1 |
#
|
|
Chris PeBenito |
8a0da1 |
# bootloader local policy
|
|
Chris PeBenito |
8a0da1 |
#
|
|
Chris PeBenito |
8a0da1 |
|
|
Chris PeBenito |
b4cd15 |
allow bootloader_t self:capability { dac_read_search fsetid sys_rawio sys_admin mknod chown };
|
|
Chris PeBenito |
b4cd15 |
allow bootloader_t self:process { sigkill sigstop signull signal };
|
|
Chris PeBenito |
b4cd15 |
allow bootloader_t self:fifo_file { getattr read write };
|
|
Chris PeBenito |
b4cd15 |
|
|
Chris PeBenito |
c2c00b |
allow bootloader_t boot_t:dir ra_dir_perms;
|
|
Chris PeBenito |
c2c00b |
allow bootloader_t boot_t:file { rw_file_perms create };
|
|
Chris PeBenito |
c2c00b |
allow bootloader_t boot_t:lnk_file { r_file_perms create unlink };
|
|
Chris PeBenito |
7bba9d |
|
|
Chris PeBenito |
c2c00b |
allow bootloader_t bootloader_etc_t:file r_file_perms;
|
|
Chris PeBenito |
7bba9d |
# uncomment the following lines if you use "lilo -p"
|
|
Chris PeBenito |
7bba9d |
#allow bootloader_t bootloader_etc_t:file { create ioctl read getattr lock write setattr append link unlink rename };
|
|
Chris PeBenito |
c9428d |
#files_create_etc_config(bootloader_t,bootloader_etc_t)
|
|
Chris PeBenito |
7bba9d |
|
|
Chris PeBenito |
c2c00b |
allow bootloader_t bootloader_tmp_t:dir create_dir_perms;
|
|
Chris PeBenito |
c2c00b |
allow bootloader_t bootloader_tmp_t:file create_file_perms;
|
|
Chris PeBenito |
c2c00b |
allow bootloader_t bootloader_tmp_t:chr_file create_file_perms;
|
|
Chris PeBenito |
c2c00b |
allow bootloader_t bootloader_tmp_t:blk_file create_file_perms;
|
|
Chris PeBenito |
c2c00b |
allow bootloader_t bootloader_tmp_t:lnk_file create_lnk_perms;
|
|
Chris PeBenito |
c9428d |
files_create_tmp_files(bootloader_t,bootloader_tmp_t,{ dir file lnk_file chr_file blk_file })
|
|
Chris PeBenito |
7bba9d |
# for tune2fs (cjp: ?)
|
|
Chris PeBenito |
c9428d |
files_create_root(bootloader_t,bootloader_tmp_t)
|
|
Chris PeBenito |
7bba9d |
|
|
Chris PeBenito |
c2c00b |
allow bootloader_t modules_object_t:dir r_dir_perms;
|
|
Chris PeBenito |
c2c00b |
allow bootloader_t modules_object_t:file r_file_perms;
|
|
Chris PeBenito |
c2c00b |
allow bootloader_t modules_object_t:lnk_file r_file_perms;
|
|
Chris PeBenito |
7bba9d |
|
|
Chris PeBenito |
0fd9dc |
kernel_getattr_core(bootloader_t)
|
|
Chris PeBenito |
b4cd15 |
kernel_read_system_state(bootloader_t)
|
|
Chris PeBenito |
b4cd15 |
kernel_read_software_raid_state(bootloader_t)
|
|
Chris PeBenito |
b4cd15 |
kernel_read_kernel_sysctl(bootloader_t)
|
|
Chris PeBenito |
b4cd15 |
|
|
Chris PeBenito |
b4cd15 |
storage_raw_read_fixed_disk(bootloader_t)
|
|
Chris PeBenito |
b4cd15 |
storage_raw_write_fixed_disk(bootloader_t)
|
|
Chris PeBenito |
b4cd15 |
storage_raw_read_removable_device(bootloader_t)
|
|
Chris PeBenito |
b4cd15 |
storage_raw_write_removable_device(bootloader_t)
|
|
Chris PeBenito |
b4cd15 |
|
|
Karl MacMillan |
f0c985 |
dev_getattr_all_chr_files(bootloader_t)
|
|
Karl MacMillan |
f0c985 |
dev_setattr_all_blk_files(bootloader_t)
|
|
Karl MacMillan |
f0c985 |
dev_dontaudit_rw_generic_dev_nodes(bootloader_t)
|
|
Karl MacMillan |
f0c985 |
dev_read_rand(bootloader_t)
|
|
Karl MacMillan |
f0c985 |
dev_read_urand(bootloader_t)
|
|
Chris PeBenito |
3ce6cb |
# for reading BIOS data
|
|
Karl MacMillan |
f0c985 |
dev_read_raw_memory(bootloader_t)
|
|
Chris PeBenito |
b4cd15 |
|
|
Chris PeBenito |
0fd9dc |
fs_getattr_xattr_fs(bootloader_t)
|
|
Chris PeBenito |
7bba9d |
|
|
Chris PeBenito |
0fd9dc |
term_getattr_all_user_ttys(bootloader_t)
|
|
Chris PeBenito |
7bba9d |
|
|
Chris PeBenito |
c9428d |
init_getattr_initctl(bootloader_t)
|
|
Chris PeBenito |
c9428d |
init_use_script_pty(bootloader_t)
|
|
Chris PeBenito |
c9428d |
init_use_script_fd(bootloader_t)
|
|
Chris PeBenito |
a2d824 |
|
|
Chris PeBenito |
c9428d |
domain_use_wide_inherit_fd(bootloader_t)
|
|
Chris PeBenito |
a2d824 |
|
|
Chris PeBenito |
c9428d |
libs_use_ld_so(bootloader_t)
|
|
Chris PeBenito |
c9428d |
libs_use_shared_libs(bootloader_t)
|
|
Chris PeBenito |
c9428d |
libs_read_lib(bootloader_t)
|
|
Chris PeBenito |
b4cd15 |
|
|
Chris PeBenito |
c9428d |
files_read_generic_etc_files(bootloader_t)
|
|
Chris PeBenito |
c9428d |
files_read_etc_runtime_files(bootloader_t)
|
|
Chris PeBenito |
c9428d |
files_read_usr_src(bootloader_t)
|
|
Chris PeBenito |
c9428d |
files_read_usr_files(bootloader_t)
|
|
Chris PeBenito |
7bba9d |
# for nscd
|
|
Chris PeBenito |
c9428d |
files_dontaudit_search_pids(bootloader_t)
|
|
Chris PeBenito |
a2d824 |
|
|
Chris PeBenito |
c9428d |
corecmd_exec_bin(bootloader_t)
|
|
Chris PeBenito |
c9428d |
corecmd_exec_sbin(bootloader_t)
|
|
Chris PeBenito |
c9428d |
corecmd_exec_shell(bootloader_t)
|
|
Chris PeBenito |
b4cd15 |
|
|
Chris PeBenito |
c9428d |
logging_send_syslog_msg(bootloader_t)
|
|
Chris PeBenito |
c9428d |
logging_rw_generic_logs(bootloader_t)
|
|
Chris PeBenito |
b4cd15 |
|
|
Chris PeBenito |
7bba9d |
miscfiles_read_localization(bootloader_t)
|
|
Chris PeBenito |
b4cd15 |
|
|
Chris PeBenito |
5e0da6 |
seutil_read_binary_pol(bootloader_t)
|
|
Chris PeBenito |
5e0da6 |
seutil_read_loadpol(bootloader_t)
|
|
Chris PeBenito |
8a0da1 |
|
|
Chris PeBenito |
254bbc |
ifdef(`distro_debian', `
|
|
Chris PeBenito |
a2d824 |
allow bootloader_t bootloader_tmp_t:{ dir file } { relabelfrom relabelto };
|
|
Chris PeBenito |
a2d824 |
allow bootloader_t modules_object_t:file { relabelfrom relabelto unlink };
|
|
Chris PeBenito |
a2d824 |
allow bootloader_t boot_t:file relabelfrom;
|
|
Chris PeBenito |
7bba9d |
')
|
|
Chris PeBenito |
a2d824 |
|
|
Chris PeBenito |
254bbc |
ifdef(`distro_redhat', `
|
|
Chris PeBenito |
0c73cd |
# for memlock
|
|
Chris PeBenito |
0c73cd |
allow bootloader_t self:capability ipc_lock;
|
|
Chris PeBenito |
0c73cd |
|
|
Chris PeBenito |
0c73cd |
# new file system defaults to file_t, granting file_t access is still bad.
|
|
Chris PeBenito |
c2c00b |
allow bootloader_t boot_runtime_t:file { r_file_perms unlink };
|
|
Chris PeBenito |
0c73cd |
|
|
Chris PeBenito |
0c73cd |
# mkinitrd mount initrd on bootloader temp dir
|
|
Chris PeBenito |
c9428d |
files_mountpoint(bootloader_tmp_t)
|
|
Chris PeBenito |
0c73cd |
|
|
Chris PeBenito |
0c73cd |
# for mke2fs
|
|
Chris PeBenito |
c9428d |
mount_domtrans(bootloader_t)
|
|
Chris PeBenito |
7bba9d |
')
|
|
Chris PeBenito |
a2d824 |
|
|
Chris PeBenito |
7bba9d |
optional_policy(`filesystemtools.te', `
|
|
Chris PeBenito |
0c73cd |
filesystemtools_execute(bootloader_t)
|
|
Chris PeBenito |
7bba9d |
')
|
|
Chris PeBenito |
a2d824 |
|
|
Chris PeBenito |
7bba9d |
# LVM2 / Device Mapper's /dev/mapper/control
|
|
Chris PeBenito |
7bba9d |
# maybe we should change the labeling for this
|
|
Chris PeBenito |
7bba9d |
optional_policy(`lvm.te', `
|
|
Karl MacMillan |
f0c985 |
dev_rw_lvm_control(bootloader_t)
|
|
Chris PeBenito |
0c73cd |
|
|
Chris PeBenito |
c9428d |
lvm_domtrans(bootloader_t)
|
|
Chris PeBenito |
0c73cd |
lvm_read_config(bootloader_t)
|
|
Chris PeBenito |
7bba9d |
')
|
|
Chris PeBenito |
a2d824 |
|
|
Chris PeBenito |
7bba9d |
optional_policy(`modutils.te',`
|
|
Chris PeBenito |
c9428d |
modutils_exec_insmod(insmod_t)
|
|
Chris PeBenito |
0c73cd |
modutils_read_kernel_module_dependencies(bootloader_t)
|
|
Chris PeBenito |
c9428d |
modutils_read_module_conf(bootloader_t)
|
|
Chris PeBenito |
c9428d |
modutils_exec_insmod(bootloader_t)
|
|
Chris PeBenito |
c9428d |
modutils_exec_depmod(bootloader_t)
|
|
Chris PeBenito |
c9428d |
modutils_exec_update_mods(bootloader_t)
|
|
Chris PeBenito |
7bba9d |
')
|
|
Chris PeBenito |
b4cd15 |
|
|
Chris PeBenito |
7bba9d |
ifdef(`TODO',`
|
|
Chris PeBenito |
b4cd15 |
|
|
Chris PeBenito |
b4cd15 |
allow bootloader_t initrc_t:fifo_file { read write };
|
|
Chris PeBenito |
b4cd15 |
|
|
Chris PeBenito |
b4cd15 |
allow bootloader_t sysfs_t:dir getattr;
|
|
Chris PeBenito |
b4cd15 |
|
|
Chris PeBenito |
b4cd15 |
allow bootloader_t var_t:dir search;
|
|
Chris PeBenito |
b4cd15 |
allow bootloader_t var_t:file { getattr read };
|
|
Chris PeBenito |
b4cd15 |
|
|
Chris PeBenito |
254bbc |
ifdef(`distro_debian', `
|
|
Chris PeBenito |
0c73cd |
allow bootloader_t { usr_t lib_t fsadm_exec_t }:file relabelto;
|
|
Chris PeBenito |
0c73cd |
allow bootloader_t { usr_t lib_t fsadm_exec_t }:file create_file_perms;
|
|
Chris PeBenito |
0c73cd |
allow bootloader_t tmpfs_t:dir r_dir_perms;
|
|
Chris PeBenito |
0c73cd |
allow bootloader_t initrc_var_run_t:dir r_dir_perms;
|
|
Chris PeBenito |
0c73cd |
allow bootloader_t var_lib_t:dir search;
|
|
Chris PeBenito |
0c73cd |
allow bootloader_t dpkg_var_lib_t:dir r_dir_perms;
|
|
Chris PeBenito |
0c73cd |
allow bootloader_t dpkg_var_lib_t:file { getattr read };
|
|
Chris PeBenito |
0c73cd |
|
|
Chris PeBenito |
0c73cd |
# for /usr/share/initrd-tools/scripts
|
|
Chris PeBenito |
0c73cd |
can_exec(bootloader_t, usr_t)
|
|
Chris PeBenito |
b4cd15 |
')
|
|
Chris PeBenito |
b4cd15 |
|
|
Chris PeBenito |
254bbc |
ifdef(`distro_redhat', `
|
|
Chris PeBenito |
0c73cd |
# new file system defaults to file_t, granting file_t access is still bad.
|
|
Chris PeBenito |
0c73cd |
allow bootloader_t file_t:dir create_dir_perms;
|
|
Chris PeBenito |
0c73cd |
allow bootloader_t file_t:{ file blk_file chr_file } create_file_perms;
|
|
Chris PeBenito |
0c73cd |
allow bootloader_t file_t:lnk_file create_lnk_perms;
|
|
Chris PeBenito |
b4cd15 |
')
|
|
Chris PeBenito |
b4cd15 |
|
|
Chris PeBenito |
b4cd15 |
dontaudit bootloader_t selinux_config_t:dir search;
|
|
Chris PeBenito |
b4cd15 |
dontaudit bootloader_t { staff_home_dir_t sysadm_home_dir_t }:dir search;
|
|
Chris PeBenito |
b4cd15 |
dontaudit bootloader_t devpts_t:dir create_dir_perms;
|
|
Chris PeBenito |
b4cd15 |
') dnl end TODO
|