You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
VBox 1a: Docker build of unmodified VirtualBox #270
A reproducible, containerised build of VirtualBox main (headless, no Qt GUI, hardening disabled) including kernel modules built against the host's stock 6.8.0-146-generic kernel headers, so no VirtualBox build dependencies are installed on the host. Lives in a dev-tooling directory outside both repos.
Acceptance criteria
An Ubuntu 24.04 image (glibc matching the host) builds VirtualBox main userland and kernel modules with one command
Build config disables the Qt GUI and hardening
The VirtualBox source tree and the host kernel headers are mounted, not copied
A rebuild after a source change is incremental and takes one command
Implemented locally in ~/vmi/vbox-dev/ (outside both repos per the ticket, so no PR): Dockerfile, build.sh, README.md.
~/vmi/vbox-dev/build.sh [src-dir] [kmk args] — Ubuntu 24.04 container, --disable-qt --disable-hardening --build-headless, kernel modules built against bind-mounted /usr/src/linux-headers-6.8.0-146-generic (override with KVER=). Source tree bind-mounted at the same path; nothing copied into the image.
Outputs: out/linux.amd64/release/bin/ (VBoxManage 7.2.97r115255 runs on host); bin/src/{vboxdrv,vboxnetflt,vboxnetadp}/*.ko with vermagic 6.8.0-146-generic.
Clean build ~2.5 min; incremental after touching MachineDebuggerImpl.cpp: 5 s, same command.
Deviations: Guest Additions off (VBOX_WITH_ADDITIONS=; X11 driver symbol check fails under _FORTIFY_SOURCE), Java/webservices off.
Host note: gcc segfaults at random (MCE hardware errors in dmesg, i9-14900K); re-running resumes the build.
Activity
Wenzel commentedon Oct 11, 2026
Implemented locally in
~/vmi/vbox-dev/(outside both repos per the ticket, so no PR):Dockerfile,build.sh,README.md.~/vmi/vbox-dev/build.sh [src-dir] [kmk args]— Ubuntu 24.04 container,--disable-qt --disable-hardening --build-headless, kernel modules built against bind-mounted/usr/src/linux-headers-6.8.0-146-generic(override withKVER=). Source tree bind-mounted at the same path; nothing copied into the image.out/linux.amd64/release/bin/(VBoxManage 7.2.97r115255 runs on host);bin/src/{vboxdrv,vboxnetflt,vboxnetadp}/*.kowith vermagic6.8.0-146-generic.MachineDebuggerImpl.cpp: 5 s, same command.VBOX_WITH_ADDITIONS=; X11 driver symbol check fails under_FORTIFY_SOURCE), Java/webservices off.Left open for maintainer review.
Wenzel commentedon Oct 11, 2026
Done (see comment above); closing as the work is verified and in use by later tickets.