1# FLASK
2
3#
4# Define initial security identifiers
5#
6sid xen
7sid dom0
8sid domio
9sid domxen
10sid unlabeled
11sid security
12sid ioport
13sid iomem
14sid irq
15sid device
16sid domU
17sid domDM
18# FLASK
19