update raspberry-pi firmware, allow userland to be build with musl/uclibc
tree1f82e79b68acc9d71e7e927331c55f62de7cae0f
-rw-r--r-- 975 .gitignore
-rw-r--r-- 850 BSDmakefile
-rw-r--r-- 192 BUGS
-rw-r--r-- 17987 COPYING
-rw-r--r-- 5234 Config.in
-rw-r--r-- 688 GNUmakefile
-rw-r--r-- 1236 LICENCE
-rw-r--r-- 7809 Makefile
-rw-r--r-- 143 Makefile.inc
-rw-r--r-- 965 README
-rw-r--r-- 243 THANKS
-rw-r--r-- 19 TODO
drwxr-xr-x - config
drwxr-xr-x - jtools
drwxr-xr-x - mk
drwxr-xr-x - package
-rw-r--r-- 2968 rules.mk
drwxr-xr-x - scripts
drwxr-xr-x - target
drwxr-xr-x - tests
drwxr-xr-x - toolchain
drwxr-xr-x - tools