linux: add realtime patch to rpi kernel
[openadk.git] / toolchain / glibc / 
tree2a36d6e48c3527ea3b1eb051152c3f48cf263c2d
drwxr-xr-x   ..
-rw-r--r-- 2619 Makefile
-rw-r--r-- 1026 Makefile.inc
drwxr-xr-x - patches