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