search

nerves-project / nerves_system_x86_64

Apache License 2.0
20 stars 16 forks source link

Use tarball for kernel source #182

Closed amclain closed 1 year ago

amclain commented 1 year ago

This PR switches the kernel source from a git repo to a tarball to speed up the download time.

Booting Nerves from an x86 system was not tested.

Note that after running make savedefconfig, the following was automatically updated in nerves_defconfig that is not included in this PR:

-BR2_TOOLCHAIN_EXTERNAL_DOWNLOAD=y
-BR2_TOOLCHAIN_EXTERNAL_URL="https://github.com/nerves-project/toolchains/releases/download/v1.6.0/nerves_toolchain_x86_64_nerves_linux_musl-linux_${shell uname -m}-1.6.0-63239A0.tar.xz"
-BR2_TOOLCHAIN_EXTERNAL_CUSTOM_PREFIX="$(ARCH)-nerves-linux-musl"
-BR2_TOOLCHAIN_EXTERNAL_GCC_11=y
-BR2_TOOLCHAIN_EXTERNAL_HEADERS_4_19=y
-BR2_TOOLCHAIN_EXTERNAL_CUSTOM_MUSL=y
-BR2_TOOLCHAIN_EXTERNAL_CXX=y
-BR2_TOOLCHAIN_EXTERNAL_OPENMP=y