51f2f2eba1
Download the linux kernel tarball with curl. Curl is already a dependency for coreboot. Change-Id: I2e0bee3286593bd8e93b4d645242898eb9a14015 Signed-off-by: Marcello Sylvester Bauer <info@marcellobauer.com> Reviewed-on: https://review.coreboot.org/29426 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Philipp Deppenwiese <zaolin.daisuki@gmail.com> |
||
---|---|---|
.. | ||
FILO | ||
GRUB2 | ||
LinuxBoot | ||
Memtest86Plus | ||
SeaBIOS | ||
U-Boot | ||
Yabits | ||
depthcharge | ||
iPXE | ||
linux | ||
tianocore | ||
tint | ||
Makefile.inc |