I am interested in working with SELinux and XEN. I see that the reference policy supports XEN, but is it possible using the reference policy to have multiping VM's running in XEN at different levels. This would assume a MLS/MCS system. Thanks