# Copyright (C) 2005 Tresys Technology, LLC

policy_module(getty,1.0)

type getty_t;

type getty_exec_t;

domain_make_init_domain(getty_t,getty_exec_t)

domain_make_file_descriptors_widely_inheritable(getty_t)

type getty_etc_t;

typealias getty_etc_t alias etc_getty_t;

type getty_tmp_t;

files_make_file(getty_tmp_t)

type getty_log_t;

logging_make_log_file(getty_log_t)

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

#

# Getty local policy

#

# Use capabilities.

allow getty_t self:capability { dac_override chown sys_resource sys_tty_config };

# fbgetty needs fsetid for some reason

#allow getty_t self:capability fsetid;

allow getty_t self:process { getpgid getsession };

allow getty_t getty_etc_t:dir { getattr search read };

allow getty_t getty_etc_t:file { getattr read };

allow getty_t getty_tmp_t:file { getattr create read setattr write setattr unlink };

allow getty_t getty_tmp_t:dir { getattr search create read setattr write setattr unlink rmdir };

allow getty_t getty_log_t:file { getattr append setattr };

kernel_read_hardware_state(getty_t)

# for error condition handling

filesystem_get_persistent_filesystem_attributes(getty_t)

# Chown, chmod, read and write ttys.

terminal_use_all_terminals(getty_t)

terminal_set_console_attributes(getty_t)

init_script_use_pseudoterminal(getty_t)

files_modify_system_runtime_data(getty_t)

files_create_private_config(getty_t,getty_etc_t,{ file dir })

files_create_private_tmp_data(getty_t,getty_tmp_t,{ file dir })

files_manage_system_lock_files(getty_t)

files_read_runtime_system_config(getty_t)

files_read_general_system_config(getty_t)

authlogin_modify_login_records(getty_t)

locallogin_transition(getty_t)

logging_send_system_log_message(getty_t)

miscfiles_read_localization(getty_t)

# TODO: to allow w to display everyone...

#bool user_ttyfile_stat false;

#if (user_ttyfile_stat) {

#allow userdomain ttyfile:chr_file getattr;

#}