Gustavo Zacarias 80d7b68167 linux: bump default kernel to version 3.1 ...

Bump default kernel vesion to 3.1 to match headers.
Also implement downloads for 3.x series kernels.

Signed-off-by: Gustavo Zacarias <gustavo@zacarias.com.ar>
Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>

2011-10-24 17:49:13 +02:00

..

Config.ext.in

Add support for the RTAI real-time extension

2011-09-18 23:00:07 +02:00

Config.in

linux: bump default kernel to version 3.1

2011-10-24 17:49:13 +02:00

linux-ext-rtai.mk

rtai: fix path to apply-patches

2011-09-20 22:18:32 +02:00

linux-ext-xenomai.mk

rtai, xenomai: use the pre patch hook point

2011-09-20 22:18:16 +02:00

linux.mk

linux: bump default kernel to version 3.1

2011-10-24 17:49:13 +02:00