trunk: handle early boot on debian, for /dev labeling.

This commit is contained in:
Chris PeBenito 2007-11-26 20:22:17 +00:00
parent 2f5c2f23da
commit 1483be1fe5
1 changed files with 8 additions and 1 deletions

View File

@ -1,5 +1,5 @@
policy_module(selinuxutil,1.7.4)
policy_module(selinuxutil,1.7.5)
gen_require(`
bool secure_mode;
@ -559,6 +559,13 @@ userdom_use_all_users_fds(setfiles_t)
# for config files in a home directory
userdom_read_all_users_home_content_files(setfiles_t)
ifdef(`distro_debian',`
# udev tmpfs is populated with static device nodes
# and then relabeled afterwards; thus
# /dev/console has the tmpfs type
fs_rw_tmpfs_chr_files(setfiles_t)
')
ifdef(`distro_redhat', `
fs_rw_tmpfs_chr_files(setfiles_t)
fs_rw_tmpfs_blk_files(setfiles_t)