linux: add realtime patch to rpi kernel
[openadk.git] / toolchain / binutils / 
tree1ce781aa1c7dc615a4b8c04d2b59ac33bf840df0
drwxr-xr-x   ..
-rw-r--r-- 2371 Makefile
-rw-r--r-- 1577 Makefile.inc
drwxr-xr-x - patches