linux: change CIP kernel download method
authorAngelo Compagnucci <angelo.compagnucci@gmail.com>
Wed, 20 Nov 2019 18:58:53 +0000 (19:58 +0100)
committerThomas Petazzoni <thomas.petazzoni@bootlin.com>
Wed, 20 Nov 2019 20:24:21 +0000 (21:24 +0100)
commit988d604bb7976fd1b50db87c99d22b928cf68bc6
tree2066c108a0da12837b27325a1637ae58b6575dc9
parente958223603696de445c2d3c74f75dccbea13affd
linux: change CIP kernel download method

Downloading from https a tarball is faster than cloning a git repo.
If needed, BR2_LINUX_KERNEL_CUSTOM_GIT can be used as a fallback
mechanism to downlad the CIP kernel with git.

Signed-off-by: Angelo Compagnucci <angelo@amarulasolutions.com>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
linux/Config.in
linux/linux.mk