The help text was wrong, as it didn't match the actual default values
we were specifying. Indeed, when we specify:
default 31 if BR2_TOOLCHAIN_HEADERS_AT_LEAST_4_13
default 30 if BR2_TOOLCHAIN_HEADERS_AT_LEAST_4_3
It means that the policy version 30 is supported starting from Linux
4.3 included, and that 31 is supported from Linux 4.13 included.
So we shouldn't have:
> 4.3 <= 4.13 30
> 4.13 31
but:
>= 4.3 < 4.13 30
>= 4.13 31
This patch fixes that for all versions.
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
Here's a handy table to help you choose:
kernel version SElinux policy max version
- <= 2.6.x 25
- > 2.6 <= 3.5 26
- > 3.5 <= 3.14 28 (27 and 28 were added at the same time)
- > 3.14 <= 4.3 29
- > 4.3 <= 4.13 30
- > 4.13 31
+ < 2.6.x 25
+ >= 2.6 < 3.5 26
+ >= 3.5 < 3.14 28 (27 and 28 were added at the same time)
+ >= 3.14 < 4.3 29
+ >= 4.3 < 4.13 30
+ >= 4.13 31
endif