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