Restrict CONFIG_NUM_PRIORITIES to the range of 1-256 as there are assumptions...

Restrict CONFIG_NUM_PRIORITIES to the range of 1-256 as there are assumptions on a priority fitting into a single byte

Restrict CONFIG_NUM_PRIORITIES to the range of 1-256 as there are assumptions...
3481b9b2 · Adrian Danis · e5889867 · 3481b9b2
Commit 3481b9b2 authored 9 years ago by Adrian Danis
--- a/Kconfig
+++ b/Kconfig
@@ -267,6 +267,7 @@ menu "seL4 System Parameters"
    config NUM_PRIORITIES
        int "Number of priority levels"
        default 256
+        range 1 256
        help
            The number of priority levels per domain