kernel: fix sanity check
tree6d556e0b0744dedad05ae11b3b7224e3f048d4d0
-rw-r--r-- 428 .gitignore
-rw-r--r-- 539 .gitreview
-rw-r--r-- 2669 LICENSE
-rw-r--r-- 16067 Makefile
drwxr-xr-x - benchmarks
drwxr-xr-x - bin
-rwxr-xr-x 56751 build.sh
drwxr-xr-x - commands
drwxr-xr-x - common
drwxr-xr-x - distrib
drwxr-xr-x - docs
drwxr-xr-x - drivers
drwxr-xr-x - etc
drwxr-xr-x - external
drwxr-xr-x - gnu
drwxr-xr-x - include
drwxr-xr-x - kernel
drwxr-xr-x - lib
drwxr-xr-x - libexec
drwxr-xr-x - man
drwxr-xr-x - releasetools
drwxr-xr-x - sbin
drwxr-xr-x - servers
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