Don't want -DKERNEL_LOAD_PAGES on every kernel.bin prereq.
-rw-r--r-- 539 AUTHORS
-rw-r--r-- 4342 LICENSE
drwxr-xr-x - src