Arnout Vandecappelle (Essensium/Mind) 9ffd5ee4e9 linux: remove default for custom kernel version ... There already is a default kernel version, so it makes little sense to have a default custom kernel version as well. This default breaks the 'make savedefconfig' if we want to force a specific version. Signed-off-by: Arnout Vandecappelle (Essensium/Mind) <arnout@mind.be> Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>		2012-01-16 16:25:52 +01:00
..
Config.ext.in	xenomai: mention which kernel versions are supported	2012-01-07 20:44:07 +01:00
Config.in	linux: remove default for custom kernel version	2012-01-16 16:25:52 +01:00
linux-ext-rtai.mk
linux-ext-xenomai.mk
linux.mk