docs: Update documentation for new kernel configuration

Replace the use of a reference kernel configuration file from this
repository with the use of a defconfig from the linux fork.

Signed-off-by: Rob Bradford <rbradford@rivosinc.com>
This commit is contained in:
Rob Bradford 2025-01-15 09:31:07 +00:00 committed by Bo Chen
parent f96554cbe9
commit f892789481
4 changed files with 4 additions and 6903 deletions

View file

@ -46,16 +46,14 @@ checkout_repo() {
# Not actively used by CI
build_custom_linux() {
ARCH=$(uname -m)
SRCDIR=$PWD
LINUX_CUSTOM_DIR="$WORKLOADS_DIR/linux-custom"
LINUX_CUSTOM_BRANCH="ch-6.12"
LINUX_CUSTOM_BRANCH="ch-6.12.8"
LINUX_CUSTOM_URL="https://github.com/cloud-hypervisor/linux.git"
checkout_repo "$LINUX_CUSTOM_DIR" "$LINUX_CUSTOM_URL" "$LINUX_CUSTOM_BRANCH"
cp "$SRCDIR"/resources/linux-config-"${ARCH}" "$LINUX_CUSTOM_DIR"/.config
pushd "$LINUX_CUSTOM_DIR" || exit
make ch_defconfig
make -j "$(nproc)"
if [ "${ARCH}" == "x86_64" ]; then
cp vmlinux "$WORKLOADS_DIR/" || exit 1