kernel: Fix kernel build when _KPOSIX_PRIORITY_SCHEDULING is not set.
tree5ba6b5082251b01c9e192d40fe1ec5fcf2ab8a35
-rw-r--r-- 756 .gitignore
-rw-r--r-- 6911 COPYRIGHT
-rw-r--r-- 7573 Makefile
-rw-r--r-- 37184 Makefile.inc1
-rw-r--r-- 148205 Makefile_upgrade.inc
-rw-r--r-- 2401 README
-rw-r--r-- 20034 UPDATING
drwxr-xr-x - bin
drwxr-xr-x - contrib
drwxr-xr-x - crypto
drwxr-xr-x - doc
drwxr-xr-x - etc
drwxr-xr-x - games
drwxr-xr-x - gnu
drwxr-xr-x - include
drwxr-xr-x - lib
drwxr-xr-x - libexec
drwxr-xr-x - nrelease
drwxr-xr-x - sbin
drwxr-xr-x - secure
drwxr-xr-x - share
drwxr-xr-x - sys
drwxr-xr-x - test
drwxr-xr-x - tools
drwxr-xr-x - usr.bin
drwxr-xr-x - usr.sbin