1# Domains of type nomigrate_t must be built via the nomigrate_t_building label;
2# once built, dom0 cannot read their memory.
3declare_domain(nomigrate_t)
4declare_build_label(nomigrate_t)
5create_domain_build_label(dom0_t, nomigrate_t)
6manage_domain(dom0_t, nomigrate_t)
7domain_comms(dom0_t, nomigrate_t)
8domain_self_comms(nomigrate_t)
9