1###############################################################################
2#
3# Device delegation
4#
5# This requires that the device be labeled with a type defined here.  You can
6# use flask-label-pci to dynamically label devices on each boot or define the
7# labels statically in tools/flask/policy/policy/device_contexts
8#
9###############################################################################
10
11type nic_dev_t, resource_type;
12
13admin_device(dom0_t, nic_dev_t)
14use_device_noiommu(domU_t, nic_dev_t)
15