## file
# VirtualBox Guest Additions:
#   selinux policy for Redhat/Fedora guests

# Copyright (C) 2006-2007 innotek GmbH
#
# This file is part of VirtualBox Open Source Edition (OSE), as
# available from http://www.virtualbox.org. This file is free software;
# you can redistribute it and/or modify it under the terms of the GNU
# General Public License as published by the Free Software Foundation,
# in version 2 as it comes in the "COPYING" file of the VirtualBox OSE
# distribution. VirtualBox OSE is distributed in the hope that it will
# be useful, but WITHOUT ANY WARRANTY of any kind.

# See http://docs.fedoraproject.org/selinux-faq-fc5/#faq-entry-local.te
# for instructions for compiling this.

policy_module(vbox_x11, 1.0)

require {
        type device_t;
        type xdm_xserver_t;
}

allow xdm_xserver_t device_t:chr_file rw_file_perms;