From 34a0682dd614771bfeccda7d4677671eab9c03ef Mon Sep 17 00:00:00 2001 From: Lorenz Bauer Date: Tue, 2 Dec 2025 18:40:27 +0000 Subject: [PATCH 1/2] allow invoking build-vmlinux.sh from outside the repo Signed-off-by: Lorenz Bauer --- build-vmlinux.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/build-vmlinux.sh b/build-vmlinux.sh index 4f6af11..8b5e5b2 100755 --- a/build-vmlinux.sh +++ b/build-vmlinux.sh @@ -4,7 +4,9 @@ set -eu set -o pipefail -source env.sh +dir="$(dirname "$(realpath "$0")")" + +source "$dir/env.sh" readonly n="${NPROC:-$(nproc)}" From b192b62ffa6b8e872c99a5f9d2bbe11118618c34 Mon Sep 17 00:00:00 2001 From: Lorenz Bauer Date: Fri, 5 Dec 2025 17:41:39 +0000 Subject: [PATCH 2/2] minimise config further Signed-off-by: Lorenz Bauer --- config | 13 +++++++++++-- 1 file changed, 11 insertions(+), 2 deletions(-) diff --git a/config b/config index f9c8816..50fa355 100644 --- a/config +++ b/config @@ -61,8 +61,6 @@ CONFIG_INET=y CONFIG_IPV6=y CONFIG_KPROBES=y CONFIG_LIRC=y -CONFIG_MEDIA_RC_SUPPORT=y -CONFIG_MEDIA_SUPPORT=y CONFIG_MODULES=y CONFIG_MPTCP=y CONFIG_MULTIUSER=y @@ -103,12 +101,23 @@ CONFIG_EXT3_FS=n CONFIG_EXT4_FS=n CONFIG_FDDI=n CONFIG_HID=n +CONFIG_INPUT_JOYSTICK=n CONFIG_INPUT_KEYBOARD=n +CONFIG_INPUT_MISC=n CONFIG_INPUT_MOUSE=n CONFIG_INPUT_MOUSEDEV=n +CONFIG_INPUT_TABLET=n +CONFIG_INPUT_TOUCHSCREEN=n +CONFIG_MACINTOSH_DRIVERS=n CONFIG_MD=n +CONFIG_MDIO_DEVICE=n +CONFIG_MEDIA_SUPPORT=n +CONFIG_X86_PLATFORM_DEVICES=n +CONFIG_SURFACE_PLATFORMS=n CONFIG_NFS_FS=n CONFIG_PCCARD=n +CONFIG_PHYLIB=n +CONFIG_SERIO_LIBPS2=n CONFIG_SOUND=n CONFIG_UEVENT_HELPER=n CONFIG_USB_SUPPORT=n