linux: make it possible to install the kernel in /boot
authorThomas Petazzoni <thomas.petazzoni@free-electrons.com>
Tue, 5 Jul 2011 19:53:54 +0000 (21:53 +0200)
committerPeter Korsgaard <jacmet@sunsite.dk>
Thu, 7 Jul 2011 21:16:05 +0000 (23:16 +0200)
commiteff25f4cca89d816665de469b7164267aaf52d4b
treebf9f1ec16e5a479c40600e9548d39491b538491a
parent4ca599360235ac16cea940bdb2aa9dc3393dbce3
linux: make it possible to install the kernel in /boot

[Peter: always copy to output/images as requested by Luca]
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>
linux/Config.in
linux/linux.mk