linux: add realtime patch to rpi kernel
[openadk.git] / toolchain / gcc / 
tree3fd6c5448add48964e26ef8758de2c7b4c79ecd8
drwxr-xr-x   ..
-rw-r--r-- 10816 Makefile
-rw-r--r-- 2099 Makefile.inc
drwxr-xr-x - patches