Index: /trunk/src/VBox/Additions/linux/selinux-fedora/.scm-settings
===================================================================
--- /trunk/src/VBox/Additions/linux/selinux-fedora/.scm-settings	(revision 69333)
+++ /trunk/src/VBox/Additions/linux/selinux-fedora/.scm-settings	(revision 69333)
@@ -0,0 +1,23 @@
+# $Id$
+## @file
+# Source code massager settings for selinux (GAs).
+#
+
+#
+# Copyright (C) 2010-2017 Oracle Corporation
+#
+# 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 (GPL) 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.
+#
+
+
+--filter-out-files *.pp
+--filter-out-files *.fc
+--filter-out-files *.if
+/*.te: --treat-as .sh
+
Index: /trunk/src/VBox/Additions/linux/selinux-fedora/vbox_accel.te
===================================================================
--- /trunk/src/VBox/Additions/linux/selinux-fedora/vbox_accel.te	(revision 69332)
+++ /trunk/src/VBox/Additions/linux/selinux-fedora/vbox_accel.te	(revision 69333)
@@ -1,9 +1,25 @@
+# $Id$
+## @file
+# VirtualBox Guest Additions - selinux policy for Redhat/Fedora guests
+#
+
+#
+# Copyright (C) 2006-2017 Oracle Corporation
+#
+# 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 (GPL) 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.
+#
 
 module check 1.0;
 
 require {
-	type xserver_misc_device_t;
-	type xdm_t;
-	class chr_file { open read write };
+        type xserver_misc_device_t;
+        type xdm_t;
+        class chr_file { open read write };
 }
 
Index: /trunk/src/VBox/Additions/linux/selinux-fedora/vbox_x11.te
===================================================================
--- /trunk/src/VBox/Additions/linux/selinux-fedora/vbox_x11.te	(revision 69332)
+++ /trunk/src/VBox/Additions/linux/selinux-fedora/vbox_x11.te	(revision 69333)
@@ -1,15 +1,18 @@
-## file
-# VirtualBox Guest Additions:
-#   selinux policy for Redhat/Fedora guests
+# $Id$
+## @file
+# VirtualBox Guest Additions - selinux policy for Redhat/Fedora guests
+#
 
-# Copyright (C) 2006-2010 Oracle Corporation
+#
+# Copyright (C) 2006-2017 Oracle Corporation
 #
 # 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.
+# General Public License (GPL) 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
@@ -24,2 +27,3 @@
 
 allow xdm_xserver_t device_t:chr_file rw_file_perms;
+