linux: add realtime patch to rpi kernel
[openadk.git] / toolchain / musl / 
treef2511b33314a93ad1442961315528d4fbc9f1245
drwxr-xr-x   ..
-rw-r--r-- 1432 Makefile
-rw-r--r-- 571 Makefile.inc