1############################################################################### 2# 3# Domain creation 4# 5############################################################################### 6 7declare_domain(domU_t) 8domain_self_comms(domU_t) 9create_domain(dom0_t, domU_t) 10manage_domain(dom0_t, domU_t) 11domain_comms(dom0_t, domU_t) 12domain_comms(domU_t, domU_t) 13migrate_domain_out(dom0_t, domU_t) 14domain_self_comms(domU_t) 15 16# Device model for domU_t. You can define distinct types for device models for 17# domains of other types, or add more make_device_model lines for this type. 18declare_domain(dm_dom_t) 19create_domain(dom0_t, dm_dom_t) 20manage_domain(dom0_t, dm_dom_t) 21domain_comms(dom0_t, dm_dom_t) 22make_device_model(dom0_t, dm_dom_t, domU_t) 23 24# This is required for PCI (or other device) passthrough 25delegate_devices(dom0_t, domU_t) 26 27# Both of these domain types can be created using the default (system) role 28role system_r types { domU_t dm_dom_t }; 29