(typealias getty_var_run_t)
(typealiasactual getty_var_run_t getty_runtime_t)
(typealias getty_etc_t)
(typealiasactual getty_etc_t getty_conf_t)
(type getty_t)
(roletype object_r getty_t)
(type getty_exec_t)
(roletype object_r getty_exec_t)
(type getty_conf_t)
(roletype object_r getty_conf_t)
(type getty_lock_t)
(roletype object_r getty_lock_t)
(type getty_log_t)
(roletype object_r getty_log_t)
(type getty_runtime_t)
(roletype object_r getty_runtime_t)
(type getty_tmp_t)
(roletype object_r getty_tmp_t)
(roleattributeset cil_gen_require system_r)
(roletype system_r getty_t)
(typeattributeset cil_gen_require init_domain_type)
(typeattributeset init_domain_type (getty_t ))
(typeattributeset cil_gen_require init_t)
(typeattributeset cil_gen_require domain)
(typeattributeset domain (getty_t ))
(typeattributeset cil_gen_require sysfs_t)
(typeattributeset cil_gen_require entry_type)
(typeattributeset entry_type (getty_exec_t ))
(typeattributeset cil_gen_require exec_type)
(typeattributeset exec_type (getty_exec_t ))
(typeattributeset cil_gen_require file_type)
(typeattributeset file_type (getty_exec_t getty_conf_t getty_lock_t getty_log_t getty_runtime_t getty_tmp_t ))
(typeattributeset cil_gen_require non_security_file_type)
(typeattributeset non_security_file_type (getty_exec_t getty_conf_t getty_lock_t getty_log_t getty_runtime_t getty_tmp_t ))
(typeattributeset cil_gen_require non_auth_file_type)
(typeattributeset non_auth_file_type (getty_exec_t getty_conf_t getty_lock_t getty_log_t getty_runtime_t getty_tmp_t ))
(typeattributeset cil_gen_require initrc_t)
(typeattributeset cil_gen_require systemprocess)
(typeattributeset systemprocess (getty_t ))
(typeattributeset cil_gen_require application_domain_type)
(typeattributeset application_domain_type (getty_t ))
(typeattributeset cil_gen_require application_exec_type)
(typeattributeset application_exec_type (getty_exec_t ))
(typeattributeset cil_gen_require privfd)
(typeattributeset privfd (getty_t ))
(typeattributeset cil_gen_require configfile)
(typeattributeset configfile (getty_conf_t ))
(typeattributeset cil_gen_require lockfile)
(typeattributeset lockfile (getty_lock_t ))
(typeattributeset cil_gen_require logfile)
(typeattributeset logfile (getty_log_t ))
(typeattributeset cil_gen_require tmp_t)
(typeattributeset cil_gen_require tmpfs_t)
(typeattributeset cil_gen_require pidfile)
(typeattributeset pidfile (getty_runtime_t ))
(typeattributeset cil_gen_require tmpfile)
(typeattributeset tmpfile (getty_tmp_t ))
(typeattributeset cil_gen_require polymember)
(typeattributeset polymember (getty_tmp_t ))
(typeattributeset cil_gen_require var_t)
(typeattributeset cil_gen_require var_lock_t)
(typeattributeset cil_gen_require var_log_t)
(typeattributeset cil_gen_require var_run_t)
(typeattributeset cil_gen_require proc_t)
(typeattributeset cil_gen_require sysctl_t)
(typeattributeset cil_gen_require sysctl_kernel_t)
(typeattributeset cil_gen_require bin_t)
(typeattributeset cil_gen_require usr_t)
(typeattributeset cil_gen_require shell_exec_t)
(typeattributeset cil_gen_require etc_t)
(typeattributeset cil_gen_require etc_runtime_t)
(typeattributeset cil_gen_require var_spool_t)
(typeattributeset cil_gen_require var_lib_t)
(typeattributeset cil_gen_require autofs_t)
(typeattributeset cil_gen_require cgroup_types)
(typeattributeset cil_gen_require fs_t)
(typeattributeset cil_gen_require mcssetcats)
(typeattributeset mcssetcats (getty_t ))
(typeattributeset cil_gen_require mlsfileread)
(typeattributeset mlsfileread (getty_t ))
(typeattributeset cil_gen_require mlsfilewrite)
(typeattributeset mlsfilewrite (getty_t ))
(typeattributeset cil_gen_require ttynode)
(typeattributeset cil_gen_require device_t)
(typeattributeset cil_gen_require tty_device_t)
(typeattributeset cil_gen_require console_device_t)
(typeattributeset cil_gen_require wtmp_t)
(typeattributeset cil_gen_require nsswitch_domain)
(typeattributeset nsswitch_domain (getty_t ))
(typeattributeset cil_gen_require initrc_runtime_t)
(typeattributeset cil_gen_require local_login_t)
(typeattributeset cil_gen_require login_exec_t)
(typeattributeset cil_gen_require syslogd_t)
(typeattributeset cil_gen_require syslogd_runtime_t)
(typeattributeset cil_gen_require devlog_t)
(typeattributeset cil_gen_require init_runtime_t)
(typeattributeset cil_gen_require locale_t)
(typeattributeset cil_gen_require netlabel_peer_t)
(typeattributeset cil_gen_require netif_t)
(typeattributeset cil_gen_require node_t)
(typeattributeset cil_gen_require dns_port_t)
(typeattributeset cil_gen_require dns_client_packet_t)
(typeattributeset cil_gen_require net_conf_t)
(allow getty_t getty_exec_t (file (entrypoint)))
(allow getty_t getty_exec_t (file (ioctl read getattr lock map execute open)))
(allow init_t getty_exec_t (file (ioctl read getattr map execute open)))
(allow init_t getty_t (process (transition)))
(dontaudit init_t getty_t (process (noatsecure siginh rlimitinh)))
(typetransition init_t getty_exec_t process getty_t)
(allow getty_t init_t (fd (use)))
(allow getty_t init_t (fifo_file (ioctl read write getattr lock append)))
(allow getty_t init_t (process (sigchld)))
(allow getty_t getty_exec_t (file (entrypoint)))
(allow getty_t getty_exec_t (file (ioctl read getattr lock map execute open)))
(allow initrc_t getty_exec_t (file (ioctl read getattr map execute open)))
(allow initrc_t getty_t (process (transition)))
(dontaudit initrc_t getty_t (process (noatsecure siginh rlimitinh)))
(typetransition initrc_t getty_exec_t process getty_t)
(allow getty_t initrc_t (fd (use)))
(allow getty_t initrc_t (fifo_file (ioctl read write getattr lock append)))
(allow getty_t initrc_t (process (sigchld)))
(allow getty_log_t tmp_t (filesystem (associate)))
(allow getty_log_t tmpfs_t (filesystem (associate)))
(allow getty_t self (capability (chown dac_override fowner fsetid setgid sys_admin sys_resource sys_tty_config)))
(dontaudit getty_t self (capability (sys_tty_config)))
(allow getty_t self (capability2 (checkpoint_restore)))
(allow getty_t self (process (sigchld sigkill sigstop signull signal getsession getpgid setpgid)))
(allow getty_t self (fifo_file (ioctl read write getattr lock append open)))
(allow getty_t getty_conf_t (dir (getattr open search)))
(allow getty_t getty_conf_t (file (ioctl read getattr lock open)))
(allow getty_t getty_conf_t (dir (getattr open search)))
(allow getty_t getty_conf_t (lnk_file (read getattr)))
(allow getty_t getty_lock_t (file (ioctl read write create getattr setattr lock append unlink link rename open)))
(allow getty_t var_t (dir (getattr open search)))
(allow getty_t var_lock_t (lnk_file (read getattr)))
(allow getty_t var_lock_t (dir (ioctl read write getattr lock open add_name remove_name search)))
(typetransition getty_t var_lock_t file getty_lock_t)
(allow getty_t getty_log_t (file (ioctl create getattr setattr lock append open)))
(allow getty_t var_t (dir (getattr open search)))
(allow getty_t var_log_t (dir (ioctl read write getattr lock open add_name remove_name search)))
(typetransition getty_t var_log_t file getty_log_t)
(allow getty_t var_log_t (lnk_file (read getattr)))
(allow getty_t getty_runtime_t (dir (watch)))
(allow getty_t getty_runtime_t (file (watch)))
(allow getty_t getty_runtime_t (dir (ioctl read write getattr lock open add_name remove_name search)))
(allow getty_t getty_runtime_t (file (ioctl read write create getattr setattr lock append unlink link rename open)))
(allow getty_t var_t (dir (getattr open search)))
(allow getty_t var_run_t (lnk_file (read getattr)))
(allow getty_t var_run_t (dir (ioctl read write getattr lock open add_name remove_name search)))
(typetransition getty_t var_run_t file getty_runtime_t)
(allow getty_t getty_tmp_t (file (ioctl read write create getattr setattr lock append unlink link rename open)))
(allow getty_t getty_tmp_t (dir (ioctl read write create getattr setattr lock unlink link rename open add_name remove_name reparent search rmdir)))
(allow getty_t tmp_t (dir (ioctl read write getattr lock open add_name remove_name search)))
(typetransition getty_t tmp_t dir getty_tmp_t)
(typetransition getty_t tmp_t file getty_tmp_t)
(allow getty_t proc_t (dir (getattr open search)))
(allow getty_t sysctl_t (dir (getattr open search)))
(allow getty_t sysctl_kernel_t (dir (getattr open search)))
(allow getty_t sysctl_kernel_t (file (ioctl read getattr lock open)))
(allow getty_t proc_t (dir (getattr open search)))
(allow getty_t sysctl_t (dir (getattr open search)))
(allow getty_t sysctl_kernel_t (dir (ioctl read getattr lock open search)))
(allow getty_t proc_t (dir (getattr open search)))
(allow getty_t proc_t (file (ioctl read getattr lock open)))
(allow getty_t proc_t (dir (getattr open search)))
(allow getty_t proc_t (lnk_file (read getattr)))
(allow getty_t proc_t (dir (getattr open search)))
(allow getty_t proc_t (dir (ioctl read getattr lock open search)))
(allow getty_t bin_t (dir (getattr open search)))
(allow getty_t bin_t (lnk_file (read getattr)))
(allow getty_t usr_t (dir (getattr open search)))
(allow getty_t bin_t (dir (getattr open search)))
(allow getty_t bin_t (dir (ioctl read getattr lock open search)))
(allow getty_t bin_t (file (ioctl read getattr lock map execute open execute_no_trans)))
(allow getty_t bin_t (dir (getattr open search)))
(allow getty_t bin_t (lnk_file (read getattr)))
(allow getty_t usr_t (dir (getattr open search)))
(allow getty_t bin_t (dir (getattr open search)))
(allow getty_t bin_t (dir (ioctl read getattr lock open search)))
(allow getty_t shell_exec_t (file (ioctl read getattr lock map execute open execute_no_trans)))
(allow getty_t sysfs_t (dir (getattr open search)))
(allow getty_t sysfs_t (file (ioctl read getattr lock open)))
(allow getty_t sysfs_t (dir (getattr open search)))
(allow getty_t sysfs_t (lnk_file (read getattr)))
(allow getty_t sysfs_t (dir (getattr open search)))
(allow getty_t sysfs_t (dir (ioctl read getattr lock open search)))
(allow getty_t etc_t (dir (ioctl read getattr lock open search)))
(allow getty_t etc_t (dir (getattr open search)))
(allow getty_t etc_runtime_t (file (ioctl read getattr lock open)))
(allow getty_t etc_t (dir (getattr open search)))
(allow getty_t etc_runtime_t (lnk_file (read getattr)))
(allow getty_t etc_t (dir (ioctl read getattr lock open search)))
(allow getty_t etc_t (dir (getattr open search)))
(allow getty_t etc_t (file (ioctl read getattr lock open)))
(allow getty_t etc_t (dir (getattr open search)))
(allow getty_t etc_t (lnk_file (read getattr)))
(allow getty_t var_t (dir (getattr open search)))
(allow getty_t var_spool_t (dir (getattr open search)))
(dontaudit getty_t var_lib_t (dir (getattr open search)))
(allow getty_t autofs_t (dir (getattr open search)))
(allow getty_t cgroup_types (filesystem (getattr)))
(allow getty_t cgroup_types (dir (getattr open search)))
(allow getty_t cgroup_types (dir (getattr open search)))
(allow getty_t sysfs_t (dir (getattr open search)))
(allow getty_t sysfs_t (dir (getattr open search)))
(allow getty_t fs_t (filesystem (getattr)))
(allow getty_t device_t (dir (getattr open search)))
(allow getty_t device_t (dir (ioctl read getattr lock open search)))
(allow getty_t device_t (dir (getattr open search)))
(allow getty_t device_t (lnk_file (read getattr)))
(allow getty_t ttynode (chr_file (ioctl read write getattr lock append open)))
(allow getty_t device_t (dir (getattr open search)))
(allow getty_t device_t (dir (ioctl read getattr lock open search)))
(allow getty_t device_t (dir (getattr open search)))
(allow getty_t device_t (lnk_file (read getattr)))
(allow getty_t tty_device_t (chr_file (ioctl read write getattr lock append open)))
(allow getty_t device_t (dir (getattr open search)))
(allow getty_t device_t (dir (ioctl read getattr lock open search)))
(allow getty_t device_t (dir (getattr open search)))
(allow getty_t device_t (lnk_file (read getattr)))
(allow getty_t ttynode (chr_file (setattr)))
(allow getty_t device_t (dir (getattr open search)))
(allow getty_t device_t (dir (ioctl read getattr lock open search)))
(allow getty_t device_t (dir (getattr open search)))
(allow getty_t device_t (lnk_file (read getattr)))
(allow getty_t tty_device_t (chr_file (setattr)))
(allow getty_t device_t (dir (getattr open search)))
(allow getty_t device_t (dir (ioctl read getattr lock open search)))
(allow getty_t device_t (dir (getattr open search)))
(allow getty_t device_t (lnk_file (read getattr)))
(allow getty_t console_device_t (chr_file (setattr)))
(allow getty_t wtmp_t (file (ioctl read write getattr lock append open)))
(allow getty_t var_t (dir (getattr open search)))
(allow getty_t var_log_t (dir (getattr open search)))
(allow getty_t var_log_t (lnk_file (read getattr)))
(allow getty_t var_run_t (lnk_file (read getattr)))
(allow getty_t var_t (dir (getattr open search)))
(allow getty_t var_run_t (dir (ioctl read getattr lock open search)))
(allow getty_t initrc_runtime_t (file (ioctl read write getattr lock append open)))
(allow getty_t bin_t (dir (getattr open search)))
(allow getty_t bin_t (lnk_file (read getattr)))
(allow getty_t usr_t (dir (getattr open search)))
(allow getty_t login_exec_t (file (ioctl read getattr map execute open)))
(allow getty_t local_login_t (process (transition)))
(dontaudit getty_t local_login_t (process (noatsecure siginh rlimitinh)))
(typetransition getty_t login_exec_t process local_login_t)
(allow local_login_t getty_t (fd (use)))
(allow local_login_t getty_t (fifo_file (ioctl read write getattr lock append)))
(allow local_login_t getty_t (process (sigchld)))
(allow getty_t devlog_t (sock_file (write getattr append open)))
(allow getty_t var_run_t (lnk_file (read getattr)))
(allow getty_t var_t (dir (getattr open search)))
(allow getty_t var_run_t (dir (getattr open search)))
(allow getty_t init_runtime_t (dir (getattr open search)))
(allow getty_t syslogd_runtime_t (dir (getattr open search)))
(allow getty_t syslogd_t (unix_dgram_socket (sendto)))
(allow getty_t syslogd_t (unix_stream_socket (connectto)))
(allow getty_t self (unix_dgram_socket (ioctl read write create getattr setattr append bind connect getopt setopt shutdown)))
(allow getty_t self (unix_stream_socket (ioctl read write create getattr setattr append bind connect getopt setopt shutdown)))
(allow getty_t device_t (dir (getattr open search)))
(allow getty_t device_t (dir (ioctl read getattr lock open search)))
(allow getty_t device_t (dir (getattr open search)))
(allow getty_t device_t (lnk_file (read getattr)))
(allow getty_t console_device_t (chr_file (ioctl write getattr lock append open)))
(dontaudit getty_t console_device_t (chr_file (ioctl read getattr lock open)))
(allow getty_t etc_t (dir (getattr open search)))
(allow getty_t etc_t (lnk_file (read getattr)))
(allow getty_t usr_t (dir (getattr open search)))
(allow getty_t locale_t (dir (ioctl read getattr lock open search)))
(allow getty_t locale_t (dir (getattr open search)))
(allow getty_t locale_t (file (ioctl read getattr lock open)))
(allow getty_t locale_t (dir (getattr open search)))
(allow getty_t locale_t (lnk_file (read getattr)))
(allow getty_t locale_t (file (map)))
(allow getty_t self (tcp_socket (ioctl read write create getattr setattr append bind connect getopt setopt shutdown)))
(allow getty_t self (udp_socket (ioctl read write create getattr setattr append bind connect getopt setopt shutdown)))
(allow getty_t self (netlink_route_socket (ioctl read write create getattr setattr append bind connect getopt setopt shutdown nlmsg_read)))
(allow getty_t netlabel_peer_t (peer (recv)))
(allow getty_t netlabel_peer_t (tcp_socket (recvfrom)))
(allow getty_t netlabel_peer_t (udp_socket (recvfrom)))
(allow getty_t netlabel_peer_t (rawip_socket (recvfrom)))
(allow getty_t netif_t (netif (ingress egress)))
(allow getty_t netif_t (netif (egress)))
(allow getty_t netif_t (netif (ingress)))
(allow getty_t node_t (node (recvfrom sendto)))
(allow getty_t node_t (node (sendto)))
(allow getty_t node_t (node (recvfrom)))
(allow getty_t dns_port_t (tcp_socket (name_connect)))
(allow getty_t dns_client_packet_t (packet (send)))
(allow getty_t dns_client_packet_t (packet (recv)))
(allow getty_t etc_t (dir (getattr open search)))
(allow getty_t var_run_t (lnk_file (read getattr)))
(allow getty_t var_t (dir (getattr open search)))
(allow getty_t var_run_t (dir (getattr open search)))
(allow getty_t net_conf_t (dir (ioctl read getattr lock open search)))
(allow getty_t net_conf_t (file (ioctl read getattr lock open)))
(allow getty_t net_conf_t (lnk_file (read getattr)))
(allow getty_t var_t (dir (getattr open search)))
(allow getty_t var_lib_t (dir (getattr open search)))
(booleanif (console_login)
    (true
        (allow getty_t console_device_t (chr_file (ioctl read write getattr lock append open)))
        (allow getty_t device_t (lnk_file (read getattr)))
        (allow getty_t device_t (dir (getattr open search)))
        (allow getty_t device_t (dir (ioctl read getattr lock open search)))
        (allow getty_t device_t (dir (getattr open search)))
    )
    (false
        (dontaudit getty_t console_device_t (chr_file (ioctl read write getattr lock append open)))
    )
)
(optional getty_optional_2
    (typeattributeset cil_gen_require init_t)
    (allow getty_t init_t (process (sigchld)))
    (allow getty_t init_t (process (signull)))
    (optional getty_optional_3
        (typeattributeset cil_gen_require rpm_t)
        (allow getty_t rpm_t (fd (use)))
        (allow getty_t rpm_t (fifo_file (ioctl read getattr lock open)))
    )
    (optional getty_optional_4
        (typeattributeset cil_gen_require security_t)
        (typeattributeset cil_gen_require sysfs_t)
        (dontaudit getty_t security_t (filesystem (getattr)))
        (dontaudit getty_t sysfs_t (filesystem (getattr)))
        (dontaudit getty_t sysfs_t (dir (getattr open search)))
        (dontaudit getty_t security_t (dir (getattr open search)))
        (dontaudit getty_t security_t (file (ioctl read getattr lock open)))
    )
    (optional getty_optional_5
        (typeattributeset cil_gen_require selinux_config_t)
        (dontaudit getty_t selinux_config_t (dir (getattr open search)))
        (dontaudit getty_t selinux_config_t (file (ioctl read getattr lock open)))
    )
    (optional getty_optional_6
        (typeattributeset cil_gen_require init_t)
        (allow getty_t init_t (process (sigchld)))
        (allow getty_t init_t (process (signull)))
        (optional getty_optional_7
            (typeattributeset cil_gen_require rpm_t)
            (allow getty_t rpm_t (fd (use)))
            (allow getty_t rpm_t (fifo_file (ioctl read getattr lock open)))
        )
        (optional getty_optional_8
            (typeattributeset cil_gen_require security_t)
            (typeattributeset cil_gen_require sysfs_t)
            (dontaudit getty_t security_t (filesystem (getattr)))
            (dontaudit getty_t sysfs_t (filesystem (getattr)))
            (dontaudit getty_t sysfs_t (dir (getattr open search)))
            (dontaudit getty_t security_t (dir (getattr open search)))
            (dontaudit getty_t security_t (file (ioctl read getattr lock open)))
        )
        (optional getty_optional_9
            (typeattributeset cil_gen_require selinux_config_t)
            (dontaudit getty_t selinux_config_t (dir (getattr open search)))
            (dontaudit getty_t selinux_config_t (file (ioctl read getattr lock open)))
        )
        (optional getty_optional_10
            (typeattributeset cil_gen_require var_t)
            (typeattributeset cil_gen_require var_run_t)
            (typeattributeset cil_gen_require avahi_t)
            (typeattributeset cil_gen_require avahi_runtime_t)
            (allow getty_t var_run_t (lnk_file (read getattr)))
            (allow getty_t var_t (dir (getattr open search)))
            (allow getty_t var_run_t (dir (getattr open search)))
            (allow getty_t avahi_runtime_t (dir (getattr open search)))
            (allow getty_t avahi_runtime_t (sock_file (write getattr append open)))
            (allow getty_t avahi_t (unix_stream_socket (connectto)))
        )
        (optional getty_optional_11
            (typeattributeset cil_gen_require var_t)
            (typeattributeset cil_gen_require var_run_t)
            (typeattributeset cil_gen_require NetworkManager_runtime_t)
            (allow getty_t var_run_t (lnk_file (read getattr)))
            (allow getty_t var_t (dir (getattr open search)))
            (allow getty_t var_run_t (dir (getattr open search)))
            (allow getty_t NetworkManager_runtime_t (dir (getattr open search)))
            (allow getty_t NetworkManager_runtime_t (file (ioctl read getattr lock open)))
        )
        (optional getty_optional_12
            (typeattributeset cil_gen_require var_t)
            (typeattributeset cil_gen_require var_run_t)
            (typeattributeset cil_gen_require nscd_t)
            (typeattributeset cil_gen_require nscd_runtime_t)
            (booleanif (nscd_use_shm)
                (true
                    (allow getty_t nscd_runtime_t (sock_file (read getattr open)))
                    (allow getty_t nscd_runtime_t (dir (ioctl read getattr lock open search)))
                    (dontaudit getty_t nscd_runtime_t (file (ioctl read getattr lock open)))
                    (allow getty_t nscd_t (unix_stream_socket (connectto)))
                    (allow getty_t nscd_runtime_t (sock_file (write getattr append open)))
                    (allow getty_t nscd_runtime_t (dir (getattr open search)))
                    (allow getty_t var_run_t (dir (getattr open search)))
                    (allow getty_t var_t (dir (getattr open search)))
                    (allow getty_t var_run_t (lnk_file (read getattr)))
                    (allow getty_t nscd_t (fd (use)))
                    (allow getty_t nscd_t (nscd (getgrp gethost getpwd shmemgrp shmemhost shmempwd)))
                    (allow getty_t self (unix_stream_socket (ioctl read write create getattr setattr append bind connect listen accept getopt setopt shutdown)))
                )
                (false
                    (allow nscd_t getty_t (process (getattr)))
                    (allow nscd_t getty_t (lnk_file (read getattr)))
                    (allow nscd_t getty_t (file (ioctl read getattr lock open)))
                    (allow nscd_t getty_t (dir (ioctl read getattr lock open search)))
                    (dontaudit getty_t nscd_runtime_t (file (ioctl read getattr lock open)))
                    (allow getty_t nscd_t (unix_stream_socket (connectto)))
                    (allow getty_t nscd_runtime_t (sock_file (write getattr append open)))
                    (allow getty_t nscd_runtime_t (dir (getattr open search)))
                    (allow getty_t var_run_t (dir (getattr open search)))
                    (allow getty_t var_t (dir (getattr open search)))
                    (allow getty_t var_run_t (lnk_file (read getattr)))
                    (dontaudit getty_t nscd_t (nscd (shmemgrp shmemhost shmempwd getserv shmemserv)))
                    (dontaudit getty_t nscd_t (fd (use)))
                    (allow getty_t nscd_t (nscd (getgrp gethost getpwd)))
                    (allow getty_t self (unix_stream_socket (ioctl read write create getattr setattr append bind connect getopt setopt shutdown)))
                )
            )
        )
        (optional getty_optional_13
            (typeattributeset cil_gen_require bin_t)
            (typeattributeset cil_gen_require usr_t)
            (typeattributeset cil_gen_require system_mail_t)
            (typeattributeset cil_gen_require mta_exec_type)
            (typeattributeset cil_gen_require mta_user_agent)
            (allow getty_t bin_t (dir (getattr open search)))
            (allow getty_t bin_t (lnk_file (read getattr)))
            (allow getty_t usr_t (dir (getattr open search)))
            (allow getty_t mta_exec_type (file (ioctl read getattr map execute open)))
            (allow getty_t system_mail_t (process (transition)))
            (dontaudit getty_t system_mail_t (process (noatsecure siginh rlimitinh)))
            (typetransition getty_t mta_exec_type process system_mail_t)
            (allow system_mail_t getty_t (fd (use)))
            (allow system_mail_t getty_t (fifo_file (ioctl read write getattr lock append)))
            (allow system_mail_t getty_t (process (sigchld)))
            (allow getty_t mta_exec_type (lnk_file (read getattr)))
            (dontaudit mta_user_agent getty_t (fd (use)))
        )
        (optional getty_optional_14
            (typeattributeset cil_gen_require var_t)
            (typeattributeset cil_gen_require var_run_t)
            (typeattributeset cil_gen_require nscd_t)
            (typeattributeset cil_gen_require nscd_runtime_t)
            (booleanif (nscd_use_shm)
                (true
                    (allow getty_t nscd_runtime_t (sock_file (read getattr open)))
                    (allow getty_t nscd_runtime_t (dir (ioctl read getattr lock open search)))
                    (dontaudit getty_t nscd_runtime_t (file (ioctl read getattr lock open)))
                    (allow getty_t nscd_t (unix_stream_socket (connectto)))
                    (allow getty_t nscd_runtime_t (sock_file (write getattr append open)))
                    (allow getty_t nscd_runtime_t (dir (getattr open search)))
                    (allow getty_t var_run_t (dir (getattr open search)))
                    (allow getty_t var_t (dir (getattr open search)))
                    (allow getty_t var_run_t (lnk_file (read getattr)))
                    (allow getty_t nscd_t (fd (use)))
                    (allow getty_t nscd_t (nscd (getgrp gethost getpwd shmemgrp shmemhost shmempwd)))
                    (allow getty_t self (unix_stream_socket (ioctl read write create getattr setattr append bind connect listen accept getopt setopt shutdown)))
                )
                (false
                    (allow nscd_t getty_t (process (getattr)))
                    (allow nscd_t getty_t (lnk_file (read getattr)))
                    (allow nscd_t getty_t (file (ioctl read getattr lock open)))
                    (allow nscd_t getty_t (dir (ioctl read getattr lock open search)))
                    (dontaudit getty_t nscd_runtime_t (file (ioctl read getattr lock open)))
                    (allow getty_t nscd_t (unix_stream_socket (connectto)))
                    (allow getty_t nscd_runtime_t (sock_file (write getattr append open)))
                    (allow getty_t nscd_runtime_t (dir (getattr open search)))
                    (allow getty_t var_run_t (dir (getattr open search)))
                    (allow getty_t var_t (dir (getattr open search)))
                    (allow getty_t var_run_t (lnk_file (read getattr)))
                    (dontaudit getty_t nscd_t (nscd (shmemgrp shmemhost shmempwd getserv shmemserv)))
                    (dontaudit getty_t nscd_t (fd (use)))
                    (allow getty_t nscd_t (nscd (getgrp gethost getpwd)))
                    (allow getty_t self (unix_stream_socket (ioctl read write create getattr setattr append bind connect getopt setopt shutdown)))
                )
            )
        )
        (optional getty_optional_15
            (typeattributeset cil_gen_require bin_t)
            (typeattributeset cil_gen_require usr_t)
            (typeattributeset cil_gen_require pppd_t)
            (typeattributeset cil_gen_require pppd_exec_t)
            (allow getty_t bin_t (dir (getattr open search)))
            (allow getty_t bin_t (lnk_file (read getattr)))
            (allow getty_t usr_t (dir (getattr open search)))
            (allow getty_t pppd_exec_t (file (ioctl read getattr map execute open)))
            (allow getty_t pppd_t (process (transition)))
            (dontaudit getty_t pppd_t (process (noatsecure siginh rlimitinh)))
            (typetransition getty_t pppd_exec_t process pppd_t)
            (allow pppd_t getty_t (fd (use)))
            (allow pppd_t getty_t (fifo_file (ioctl read write getattr lock append)))
            (allow pppd_t getty_t (process (sigchld)))
        )
    )
)
(filecon "/etc/mgetty(/.*)?" any (system_u object_r getty_conf_t ((s0) (s0))))
(filecon "/run/mgetty\.pid.*" file (system_u object_r getty_runtime_t ((s0) (s0))))
(filecon "/run/agetty\.reload" file (system_u object_r getty_runtime_t ((s0) (s0))))
(filecon "/usr/bin/.*getty" file (system_u object_r getty_exec_t ((s0) (s0))))
(filecon "/usr/sbin/.*getty" file (system_u object_r getty_exec_t ((s0) (s0))))
(filecon "/var/log/mgetty\.log.*" file (system_u object_r getty_log_t ((s0) (s0))))
(filecon "/var/log/vgetty\.log\..*" file (system_u object_r getty_log_t ((s0) (s0))))
(filecon "/var/spool/fax(/.*)?" any (system_u object_r getty_runtime_t ((s0) (s0))))
(filecon "/var/spool/voice(/.*)?" any (system_u object_r getty_runtime_t ((s0) (s0))))
