add PREX_USER_PLATFORM - allows userspace to be built for a generic platform
tree763aea878f9269475c72f44ef1782a53ee47723c
-rwxr-xr-x 33915 ChangeLog
-rwxr-xr-x 281 Makefile
drwxr-xr-x - boot
drwxr-xr-x - conf
-rwxr-xr-x 2685 configure
drwxr-xr-x - dev
drwxr-xr-x - doc
drwxr-xr-x - mk
drwxr-xr-x - sys
drwxr-xr-x - user