Thomas Petazzoni f18c51657f linux: improve the 'make linux-*' special commands 13 years ago
..
Config.ext.in c2c06aad27 xenomai: mention which kernel versions are supported 14 years ago
Config.in 35ee09611d linux: bump default to kernel version 3.3.4 13 years ago
linux-ext-rtai.mk 5a615f5c7c rtai: fix path to apply-patches 14 years ago
linux-ext-xenomai.mk be27a7933f rtai, xenomai: use the pre patch hook point 14 years ago
linux.mk f18c51657f linux: improve the 'make linux-*' special commands 13 years ago