linux: add realtime patch to rpi kernel
[openadk.git] / toolchain / gcc / patches / 
tree4a4cfd0784ba307f27536d9e61967e336376c0e0
drwxr-xr-x   ..
drwxr-xr-x - 4.2.4
drwxr-xr-x - 4.4.7
drwxr-xr-x - 6.3.0
drwxr-xr-x - 7.2.0