Merge branch 'redhat' into multinode

README.md

-# Circle Project - Salt Installer
+# CIRCLE Project - Salt Installer
 
 ## OS Support
 
@@ -6,11 +6,8 @@
     * Red Hat Enterprise Linux 7+
     * Cent OS 7+
     * Scientific Linux 7+
-    * Oracle Linux 7+ --> work in progress
 * Debian Linux family:
-    * Debian linux 8+ --> work in progress
     * Ubuntu linux 14.04 LTS
-    * Ubuntu linux 15.04+ --> work in progress
 
 ## Prerequisites
 
@@ -208,7 +205,7 @@ Finally, we can run the machine. Click on 'deploy' and start it. You can choose,
 
 ## Troubleshooting ##
 
-### Portal wont loaded
+### Portal won't loaded
 Maybe port 443 closed. Check and open it.
 
 ### Portal wont loaded on Ubuntu 14.04

pillar/firewall.sls

 fwdriver:
   repo_name: https://git.ik.bme.hu/circle/fwdriver.git
-  repo_revision: systemd_feature
+  repo_revision: master
 
   user: fw
 

pillar/manager.sls

 manager:
   repo_name: https://git.ik.bme.hu/circle/cloud.git
-  repo_revision: synchronous_reload
+  repo_revision: master
   

salt/vmdriver/files/vmdriver.te

 
-module vmdriver 1.0;
+module vmdriver 1.1;
 
 require {
 	type virt_var_lib_t;
 	type svirt_tcg_t;
+	type svirt_t;
+	type default_t;
 	class sock_file { create unlink };
 	class dir { write remove_name add_name };
+	class lnk_file read;
 }
 
 #============= svirt_tcg_t ==============
 allow svirt_tcg_t virt_var_lib_t:dir { write remove_name add_name };
 allow svirt_tcg_t virt_var_lib_t:sock_file { create unlink };
+
+#============= svirt_t ==============
+allow svirt_t virt_var_lib_t:dir { write add_name };
+allow svirt_t virt_var_lib_t:sock_file create;
+allow svirt_t default_t:lnk_file read;
+

salt/vmdriver/libvirt.sls

@@ -125,4 +125,3 @@ open_libvirt_ports:
     - text: LIBVIRTD_ARGS="--listen"
 {% endif %}
 
-