policy_module(firstboot,1.0)

########################################

#

# Declarations

#

type firstboot_t;

type firstboot_exec_t;

init_system_domain(firstboot_t,firstboot_exec_t)

domain_obj_id_change_exempt(firstboot_t)

role system_r types firstboot_t;

type firstboot_etc_t; #, usercanread;

files_type(firstboot_etc_t)

type firstboot_rw_t;

files_type(firstboot_rw_t)

########################################

#

# Local policy

#

allow firstboot_t self:capability { dac_override setgid };

allow firstboot_t self:process setfscreate;

allow firstboot_t self:file { read write };

allow firstboot_t self:fifo_file { getattr read write };

allow firstboot_t self:tcp_socket create_stream_socket_perms;

allow firstboot_t self:unix_stream_socket { connect create };

allow firstboot_t self:passwd rootok;

allow firstboot_t firstboot_etc_t:file { getattr read };

allow firstboot_t firstboot_rw_t:dir create_dir_perms;

allow firstboot_t firstboot_rw_t:file create_file_perms;

files_create_etc_config(firstboot_t,firstboot_rw_t,file)

# The big hammer

unconfined_domain_template(firstboot_t) 

kernel_read_system_state(firstboot_t)

kernel_read_kernel_sysctl(firstboot_t)

corenet_tcp_sendrecv_all_if(firstboot_t)

corenet_raw_sendrecv_all_if(firstboot_t)

corenet_tcp_sendrecv_all_nodes(firstboot_t)

corenet_raw_sendrecv_all_nodes(firstboot_t)

corenet_tcp_sendrecv_all_ports(firstboot_t)

corenet_tcp_bind_all_nodes(firstboot_t)

dev_read_urand(firstboot_t)

selinux_get_fs_mount(firstboot_t)

selinux_validate_context(firstboot_t)

selinux_compute_access_vector(firstboot_t)

selinux_compute_create_context(firstboot_t)

selinux_compute_relabel_context(firstboot_t)

selinux_compute_user_contexts(firstboot_t)

auth_dontaudit_getattr_shadow(firstboot_t)

corecmd_exec_bin(firstboot_t)

corecmd_exec_sbin(firstboot_t)

domain_exec_all_entry_files(firstboot_t)

files_exec_etc_files(firstboot_t)

files_manage_etc_files(firstboot_t)

files_read_etc_runtime_files(firstboot_t)

files_read_usr_files(firstboot_t)

files_manage_var_dirs(firstboot_t)

files_manage_var_files(firstboot_t)

files_manage_var_symlinks(firstboot_t)

init_read_script(firstboot_t)

init_rw_script_pid(firstboot_t)

libs_use_ld_so(firstboot_t)

libs_use_shared_libs(firstboot_t)

libs_exec_ld_so(firstboot_t)

libs_exec_lib_files(firstboot_t)

locallogin_use_fd(firstboot_t)

logging_send_syslog_msg(firstboot_t)

miscfiles_read_localization(firstboot_t)

modutils_domtrans_insmod(firstboot_t)

modutils_read_module_conf(firstboot_t)

modutils_read_mods_deps(firstboot_t)

sysnet_manage_config(firstboot_t)

# Add/remove user home directories

userdom_create_user_home_dir(firstboot_t)

userdom_manage_user_home_dir(firstboot_t)

userdom_create_user_home(firstboot_t,{ dir file lnk_file fifo_file sock_file })

userdom_manage_user_home_dirs(firstboot_t)

userdom_manage_user_home_files(firstboot_t)

userdom_manage_user_home_symlinks(firstboot_t)

userdom_manage_user_home_pipes(firstboot_t)

userdom_manage_user_home_sockets(firstboot_t)

usermanage_domtrans_useradd(firstboot_t)

usermanage_domtrans_groupadd(firstboot_t)

optional_policy(`kerberos.te',`

	kerberos_rw_config(firstboot_t)

')

optional_policy(`nis.te',`

	nis_use_ypbind(firstboot_t)

')

ifdef(`TODO',`

allow firstboot_t proc_t:file write;

ifdef(`printconf.te', `

	can_exec(firstboot_t, printconf_t)

')

ifdef(`samba.te', `

	rw_dir_file(firstboot_t, samba_etc_t)

')

ifdef(`userhelper.te', `

	role system_r types sysadm_userhelper_t;

	domain_auto_trans(firstboot_t, userhelper_exec_t, sysadm_userhelper_t)

')

ifdef(`xserver.te', `

	domain_auto_trans(firstboot_t, xserver_exec_t, xdm_xserver_t)

')

') dnl end TODO