modules += files(
    'binderav.cil',
    'bpfav.cil',
    'capabilityav.cil',
    'fdav.cil',
    'iouringav.cil',
    'ipcav.cil',
    'kernelserviceav.cil',
    'keyav.cil',
    'memprotectav.cil',
    'msgav.cil',
    'perfeventav.cil',
    'socketav.cil',
    'systemav.cil',
    'usernamespaceav.cil',
)