diff options
Diffstat (limited to 'src/core/pool.c')
| -rw-r--r-- | src/core/pool.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/core/pool.c b/src/core/pool.c index 0163405f7..daf761aa3 100644 --- a/src/core/pool.c +++ b/src/core/pool.c @@ -22,6 +22,7 @@ */ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL ); +FILE_SECBOOT ( PERMITTED ); /** * @file |