@ -10,7 +10,7 @@ with lib.kernel;
POSIX_MQUEUE = yes;
AUDIT = no;
NO_HZ_IDLE = yes;
NO_HZ_FULL = yes;
HIGH_RES_TIMERS = yes;
BPF_SYSCALL = yes;