On 22/10/2021 00:08, Stefano Stabellini wrote: > +# build depends > +RUN apt-get update && \ > + apt-get --quiet --yes install \ > + build-essential \ > + libssl-dev \ > + bc \ > + curl \ > + flex \ > + bison \ > + libelf-dev \ > + && \ > + \ > + # Build the kernel > + curl -fsSLO > https://cdn.kernel.org/pub/linux/kernel/v5.x/linux-"$LINUX_VERSION".tar.xz && > \ > + tar xvJf linux-"$LINUX_VERSION".tar.xz && \ > + cd linux-"$LINUX_VERSION" && \ > + make defconfig && \ > + make xen.config && \ > + cp .config .config.orig && \ > + cat .config.orig | grep XEN | grep =m |sed 's/=m/=y/g' >> .config && \ > + make -j$(nproc) bzImage && \
defconfig is huuuuge. Can we use tinyconfig instead? Also, you want to turn off CONFIG_MODULES seeing as you only copy bzImage to the test. This also fixes the fact that `grep XEN` also matches CONFIG_NETXEN_NIC which has nothing to do with Xen. ~Andrew