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# Allow the hypervisor to build domains of type domU_t
17xen_build_domain(domU_t)
18
19# Device model for domU_t.  You can define distinct types for device models for
20# domains of other types, or add more make_device_model lines for this type.
21declare_domain(dm_dom_t)
22create_domain(dom0_t, dm_dom_t)
23manage_domain(dom0_t, dm_dom_t)
24domain_comms(dom0_t, dm_dom_t)
25make_device_model(dom0_t, dm_dom_t, domU_t)
26
27# This is required for PCI (or other device) passthrough
28delegate_devices(dom0_t, domU_t)
29
30# Both of these domain types can be created using the default (system) role
31role system_r types { domU_t dm_dom_t };
32