diff options
Diffstat (limited to 'src/interface/efi/efi_timer.c')
| -rw-r--r-- | src/interface/efi/efi_timer.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/interface/efi/efi_timer.c b/src/interface/efi/efi_timer.c index 6427eb1d8..ffb899c86 100644 --- a/src/interface/efi/efi_timer.c +++ b/src/interface/efi/efi_timer.c @@ -22,6 +22,7 @@ */ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL ); +FILE_SECBOOT ( PERMITTED ); #include <string.h> #include <errno.h> |