SergioandClaude Opus 5
5142a87ba6
Primera vez que el armador se usa para lo que existe, con artefacto real al final:
b3:8ffd57109a2f7102c1bbbbc91cf0e729047312eee1a4e3fdb8b178680cc94264-linux-gioser
linux-metal derivada gioser
bzImage 14,5 MB 11,1 MB (-23%)
símbolos encendidos 1805 1647
diff-back contra el artefacto ... 35 cumplidos, 0 INCUMPLIDOS
gate contra el artefacto ........ ningún dispositivo en uso sin driver
La base la eligió el probe, no la intuición: linux (el de QEMU) apaga USB, HID e INPUT a
propósito y gioser tiene xhci_hcd, usbhid e i8042 bindeados ⇒ linux-metal. 13 bundles y 3
perillas, 34 banderas, clausura de 3054.
Segunda validación de la clausura contra el olddefconfig real, ahora sobre otra base y con
13 bundles: 154 aciertos, SOBRA 0, faltan 18 (todos de la clase «apagado ahora ≠
inalcanzable» del §12).
LA PRUEBA DE 30 s PREDIJO EL BUILD DE 45 MIN. El .config del artefacto y el de la prueba en
seco difieren en 14 líneas y NI UNA es funcional: son las siete versiones del toolchain que
el kernel graba en su propio config (CC_VERSION_TEXT, GCC_VERSION, AS_VERSION, LD_VERSION,
RUSTC_VERSION, RUSTC_LLVM_VERSION, PAHOLE_VERSION). Cero símbolos de diferencia ⇒ la prueba
barata es un sustituto fiel para todo lo que el armador decide.
Y de regalo, la mecánica exacta de por qué el lab TIENE que estar en hash_inputs: el kernel
graba la versión de su compilador DENTRO del .config, y el .config va dentro del artefacto.
No es que el lab «influya» en el resultado — es que el lab está literalmente en el
contenido sellado. Se ve línea a línea: gcc 15.2.0 del lab anclado vs 16.1.1 del host.
PAHOLE_VERSION=0 confirma además lo que dice la cabecera de linux.toml.
La receta derivada NO se deja en recipes/: build-state.py y yupana barren recipes/ y
recipes/incoming-*, así que dejarla ahí la mete en el grafo compartido como deuda. Va en
docs/state/kernel-plans/ con el comando que la regenera; para construir se copia a
recipes/incoming-kernel/ temporalmente y se saca después.
Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
49 lines
4.4 KiB
TOML
49 lines
4.4 KiB
TOML
# Receta DERIVADA, generada por `hammer kernel plan`. No editar a mano: regenerar.
|
|
# base recipes/linux-metal.toml
|
|
# bundles sin-wifi sin-bluetooth sin-nfc sin-radios sin-audio sin-camaras-tv sin-infiniband sin-bus-industrial sin-thunderbolt-firewire sin-lector-de-tarjetas sin-virtualizacion sin-gpu-intel solo-ext4
|
|
# perillas invitado-virtio plataforma-pc jaula-y-eio-moderna
|
|
# Para construirla tiene que vivir junto a la receta base, o sus `deps.build` no
|
|
# resuelven (recipes).
|
|
name = "linux-gioser"
|
|
version = "6.16.12"
|
|
license = "GPL-2.0-only WITH Linux-syscall-note"
|
|
|
|
[source]
|
|
tarball = "https://mirrors.edge.kernel.org/pub/linux/kernel/v6.x/linux-6.16.12.tar.gz"
|
|
sha256 = "ffc6af80b014ddebd55e116aa29a9f7a5256c87a29a8a9dd97270b6d49625109"
|
|
strip_components = 1
|
|
patches = []
|
|
|
|
[build]
|
|
compiler = "zig-cc"
|
|
target = "x86_64-linux-musl"
|
|
link = "dynamic"
|
|
flags = []
|
|
cgo = false
|
|
subdir = ""
|
|
|
|
[build.phases]
|
|
configure = '''
|
|
make ARCH=x86_64 defconfig && scripts/config -d MODULE_SIG -d MODULE_SIG_ALL -d DEBUG_INFO_BTF -d DEBUG_INFO -d MODULES -d UNWINDER_ORC -e UNWINDER_FRAME_POINTER -e BLK_DEV_INITRD -e DEVTMPFS -e DEVTMPFS_MOUNT -e TMPFS -e OVERLAY_FS -e USER_NS -e NAMESPACES -e FANOTIFY -e FANOTIFY_ACCESS_PERMISSIONS -e OVERLAY_FS_REDIRECT_DIR -e OVERLAY_FS_INDEX -e OVERLAY_FS_XINO_AUTO -e OVERLAY_FS_METACOPY -e SECURITY -e SECURITY_LANDLOCK -e AUDIT -e IO_URING -e BPF_SYSCALL -e NTSYNC -d PREEMPT_VOLUNTARY -e PREEMPT -e HZ_1000 -e LRU_GEN -e LRU_GEN_ENABLED -e ZRAM -e ZSMALLOC -e EROFS_FS -e FS_VERITY -e VIRTIO -e VIRTIO_PCI -e VIRTIO_BLK -e VIRTIO_NET -e EXT4_FS -e PCI -e PCIEPORTBUS -e ACPI -e SATA_AHCI -e ATA -e ATA_PIIX -e SCSI -e BLK_DEV_SD -e BLK_DEV_LOOP -e NVME_CORE -e BLK_DEV_NVME -e USB_SUPPORT -e USB -e USB_PCI -e USB_XHCI_HCD -e USB_XHCI_PCI -e USB_EHCI_HCD -e USB_EHCI_PCI -e USB_OHCI_HCD -e USB_UHCI_HCD -e USB_STORAGE -e HID -e HID_GENERIC -e USB_HID -e INPUT_EVDEV -e INPUT_KEYBOARD -e KEYBOARD_ATKBD -e INPUT_MOUSE -e MOUSE_PS2 -e SERIO -e SERIO_I8042 -e VT -e VT_CONSOLE -e DRM -e DRM_SIMPLEDRM -e SYSFB_SIMPLEFB -e FB -e FB_EFI -e DRM_I915 -e DRM_FBDEV_EMULATION -e FRAMEBUFFER_CONSOLE -e FRAMEBUFFER_CONSOLE_DETECT_PRIMARY -e FRAMEBUFFER_CONSOLE_DEFERRED_TAKEOVER -e EFI -e EFI_STUB -e EFI_PARTITION -e EFIVAR_FS -e CMDLINE_BOOL -e VFAT_FS -e FAT_FS -e MSDOS_FS -e NLS_CODEPAGE_437 -e NLS_ISO8859_1 -e NLS_UTF8 -e ISO9660_FS -e JOLIET -e WLAN -e WIRELESS -e CFG80211 -e MAC80211 -e RFKILL -e WLAN_VENDOR_INTEL -e IWLWIFI -e IWLMVM -e ETHERNET -e NET_VENDOR_INTEL -e E1000 -e E1000E -e IGB -e IGC -e NET_VENDOR_REALTEK -e R8169 -e NET_VENDOR_BROADCOM -e TG3 -e USB_NET_DRIVERS -e USB_USBNET -e USB_NET_CDCETHER -e USB_NET_CDC_NCM -e USB_NET_RNDIS_HOST -d DRM_AMDGPU -d DRM_NOUVEAU -d DRM_RADEON -d AGP -e SOUND -e SND -e SND_PCM -e SND_TIMER -e SND_HRTIMER -e SND_DYNAMIC_MINORS -e SND_PCI -e SND_HDA -e SND_HDA_INTEL -e SND_HDA_GENERIC -e SND_HDA_PATCH_LOADER -e SND_HDA_CODEC_REALTEK -e SND_HDA_CODEC_HDMI -e SND_HDA_CODEC_GENERIC -e SND_INTEL_DSP_CONFIG -e SND_SOC -e SND_SOC_INTEL_SOF_PCI_DEV -e SND_SOC_SOF_TOPLEVEL -e SND_SOC_SOF_PCI -e SND_SOC_SOF_INTEL_TOPLEVEL -e SND_SOC_SOF_TIGERLAKE -e SND_SOC_SOF_HDA_AUDIO_CODEC -e SND_SOC_SOF_HDA_LINK -e SND_USB -e SND_USB_AUDIO -d MEDIA_SUPPORT -d INFINIBAND -d BT -d NFC -d CAN -d WATCHDOG -d USB4 -d FIREWIRE -d DEBUG_WX -d XFS_FS -d BTRFS_FS -d F2FS_FS -d JFS_FS -d GFS2_FS -d NTFS3_FS && scripts/config --set-str CMDLINE "console=tty0 console=ttyS0,115200 quiet loglevel=3 vt.global_cursor_default=0 efi=novamap split_lock_detect=off initrd=/initramfs.cpio.gz rdinit=/init" && make ARCH=x86_64 olddefconfig && \
|
|
scripts/config -e AUDIT -e BPF_SYSCALL -d BT -d BTRFS_FS -d CAN -d DRM_I915 -d F2FS_FS \
|
|
-d FIREWIRE -d GELIC_WIRELESS -d GFS2_FS -e HW_RANDOM_VIRTIO -d INFINIBAND -e INPUT_PCSPKR \
|
|
-e IO_URING -e ITCO_WDT -d IWLEGACY -d JFS_FS -e LPC_ICH -d MEDIA_SUPPORT -d MEMSTICK -d MMC \
|
|
-d NFC -d NTFS3_FS -d NTFS_FS -e PCIEAER -d RFKILL -d RSI_91X -e SCSI_VIRTIO \
|
|
-e SECURITY_LANDLOCK -d SOUND -d USB4 -d USB_F_UVC -e VIRTIO_BALLOON -e VIRTIO_CONSOLE \
|
|
-d VIRTUALIZATION -e WATCHDOG -d WIRELESS -d WLAN -d XFS_FS && \
|
|
make ARCH=x86_64 olddefconfig
|
|
'''
|
|
compile = 'make ARCH=x86_64 CC=gcc HOSTCC=gcc -j1 bzImage'
|
|
install = "mkdir -p /out/boot && cp arch/x86/boot/bzImage /out/boot/bzImage && cp .config /out/boot/config-6.16.12-metal"
|
|
|
|
[deps]
|
|
build = [
|
|
"flex",
|
|
"bison",
|
|
"m4",
|
|
"openssl",
|
|
"elfutils",
|
|
"make",
|
|
]
|
|
runtime = []
|