portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix Kconfig typo.

Browse source
This commit is contained in:
Matthew Fernandez 2015-02-09 11:30:59 +11:00
parent 3c13124c6a
commit 1ade74c8c2
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Kconfig
View file

@ -250,7 +250,7 @@ menu "seL4 System Parameters"
configuration.
config NUM_PRIORITIES
int "Numer of priority levels"
int "Number of priority levels"
default 256
help
The number of priority levels per domain