linux: add realtime patch to rpi kernel
[openadk.git] / toolchain / newlib / 
tree702e1f773f16d78f5db8a360244cc56dff9dddd0
drwxr-xr-x   ..
-rw-r--r-- 1298 Makefile
-rw-r--r-- 1253 Makefile.inc
drwxr-xr-x - patches