1###############################################################################
2#
3# Label devices for delegation
4#
5# The PCI, IRQ, memory, and I/O port ranges are hardware-specific.
6#
7###############################################################################
8
9# label e1000e nic
10#pirqcon 33 system_u:object_r:nic_dev_t
11#pirqcon 55 system_u:object_r:nic_dev_t
12#iomemcon 0xfebe0-0xfebff system_u:object_r:nic_dev_t
13#iomemcon 0xfebd9 system_u:object_r:nic_dev_t
14#ioportcon 0xecc0-0xecdf system_u:object_r:nic_dev_t
15#pcidevicecon 0xc800 system_u:object_r:nic_dev_t
16
17# label e100 nic
18#pirqcon 16 system_u:object_r:nic_dev_t
19#iomemcon 0xfe5df system_u:object_r:nic_dev_t
20#iomemcon 0xfe5e0-0xfe5ff system_u:object_r:nic_dev_t
21#iomemcon 0xc2000-0xc200f system_u:object_r:nic_dev_t
22#ioportcon 0xccc0-0xcd00 system_u:object_r:nic_dev_t
23
24# label usb 1d.0-2 1d.7
25#pirqcon 23 system_u:object_r:nic_dev_t
26#pirqcon 17 system_u:object_r:nic_dev_t
27#pirqcon 18 system_u:object_r:nic_dev_t
28#ioportcon 0xff80-0xFF9F system_u:object_r:nic_dev_t
29#ioportcon 0xff60-0xff7f system_u:object_r:nic_dev_t
30#ioportcon 0xff40-0xff5f system_u:object_r:nic_dev_t
31#iomemcon 0xff980 system_u:object_r:nic_dev_t
32#ioportcon 0xff00-0xff1f system_u:object_r:nic_dev_t
33