From 5142a87ba65ecccc7eac67fdea738b83d0e2f3d4 Mon Sep 17 00:00:00 2001 From: Sergio Date: Tue, 11 Aug 2026 15:46:47 +0000 Subject: [PATCH] =?UTF-8?q?kernel:=20el=20armador=20de=20punta=20a=20punta?= =?UTF-8?q?=20=E2=80=94=20un=20kernel=20a=20medida=20de=20gioser,=2011,1?= =?UTF-8?q?=20MB=20contra=2014,5?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 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) --- docs/22-configurador-kernel.md | 86 +++++++ docs/runbooks/armador-de-kernel.md | 28 +++ docs/state/kernel-plans/gioser-plan.json | 267 ++++++++++++++++++++++ docs/state/kernel-plans/linux-gioser.toml | 48 ++++ 4 files changed, 429 insertions(+) create mode 100644 docs/state/kernel-plans/gioser-plan.json create mode 100644 docs/state/kernel-plans/linux-gioser.toml diff --git a/docs/22-configurador-kernel.md b/docs/22-configurador-kernel.md index 5c283869..37a4f6ab 100644 --- a/docs/22-configurador-kernel.md +++ b/docs/22-configurador-kernel.md @@ -418,6 +418,92 @@ Planear una contra el árbol de la otra calcularía clausuras sobre símbolos qu saldría sin ruido. `KconfigTree` ahora lee su propia versión del `Makefile` de arriba y `plan` **falla** si no coincide con la de la receta (los diagnósticos sólo avisan). +## 13. Caso de punta a punta: un kernel a medida de gioser (2026-08-11) + +La primera vez que el armador se usa para lo que existe. Máquina: Hetzner vServer, AMD EPYC-Rome, +4 vCPU, 20 dispositivos PCI, 38 drivers bindeados. + +**Base: `linux-metal`, no `linux`.** El `probe` decide: `linux` apaga USB, HID e INPUT a propósito +(es el kernel de QEMU con consola serie) y gioser tiene `xhci_hcd`, `usbhid` e `i8042` bindeados; +`linux-metal` conserva los tres, más virtio, ext4, vfat y EFI. Elegir la base es la primera decisión +y el `probe` la contesta con datos, no con intuición. + +**Selección:** 13 bundles y 3 perillas → **34 banderas**, clausura de 3054 símbolos. + +| | símbolos encendidos | +|---|---| +| `linux-metal` tal cual | 1805 | +| derivada para gioser | **1647** (−158) | + +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 helpers sin prompt del tipo `DRM_DISPLAY_*`, +`CRYPTO_LIB_ARC4` — la misma clase «apagado ahora ≠ inalcanzable» del §12). + +### Lo que sólo se ve midiendo esta máquina +El gate contra el `.config` producido, con `/proc/config.gz` de referente, encontró **cuatro +pérdidas que ningún bundle causaba**: `aer`, `iTCO_wdt`, `lpc_ich` y `pcspkr` están encendidos en el +kernel que corre y **`linux-metal` no los enciende nunca**. No era una regresión del plan: era un +hueco de la receta base, invisible para el gate del §11 por construcción. + +Lo mismo con `VIRTIO_BALLOON` y `HW_RANDOM_VIRTIO`: **ninguna receta de kernel del repo los +enciende** y en gioser los dos están bindeados. Un kernel de hammer arranca igual en esta máquina, +pero la VM se queda sin globo de memoria y sin la entropía del anfitrión. + +⇒ Tres entradas nuevas de catálogo, todas nacidas de medir: bundle `sin-gpu-intel` (i915 es de los +drivers más grandes del kernel y en una VM con virtio-gpu no sirve) y perillas `invitado-virtio` y +`plataforma-pc`. Con ellas el gate pasa: **✓ ningún dispositivo en uso se queda sin driver.** + +### El artefacto: construido, sellado y verificado + +``` +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** (referente `/proc/config.gz`): ✓ ningún dispositivo en uso se queda + sin driver. + +### La prueba de 30 s predijo el build de 45 min +El `.config` del artefacto y el de la prueba en seco (§4.bis del runbook) difieren en **14 líneas, y +ni una es funcional**: son las siete versiones del toolchain que el kernel graba en su propio +config. + +``` +< CONFIG_CC_VERSION_TEXT="gcc (Alpine 15.2.0) 15.2.0" ← el lab anclado +> CONFIG_CC_VERSION_TEXT="gcc (GCC) 16.1.1 20260725" ← el host +… 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 del build** 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**. (`PAHOLE_VERSION=0` en el artefacto confirma además lo que dice la cabecera de +`linux.toml`: el toolchain del lab no trae pahole.) + +### El paralelismo entra en `hash_inputs`, y hay que saberlo +gioser estaba al borde del OOM (swap 3611/4095, 12 `oom-kill` previos) **y hospeda gitea**, en una +máquina marcada como fija y sin backup. Bajar el build a `-j1` es lo prudente — y cambia el hash: + +``` +-j"$(nproc)" b3:10a60ceb… +-j1 b3:8ffd5710… +``` + +El paralelismo **no cambia un byte del `bzImage`**, pero el texto de la fase `compile` está en +`hash_inputs`. Por eso el `$(nproc)` de las recetas base no es estilo: mantiene el texto +**independiente de la máquina** y evita bifurcar la identidad del artefacto por el número de cores. +**Si hay que capar el paralelismo, va FUERA de la receta** (entorno, cgroup, `nice`); editando la +fase, cada máquina lenta se fabrica su propio hash. Es el reverso exacto del caso `USB4`: allá +cambió el texto y no el `.config`; acá cambia el texto y no el binario. + ### Un hallazgo de regalo `recipes/linux.toml` apaga **`REISERFS_FS`, que no existe en 6.16.12** (upstream lo retiró). El `scripts/config -d REISERFS_FS` es un no-op que nadie vio. Es exactamente el modo de fallo que el diff --git a/docs/runbooks/armador-de-kernel.md b/docs/runbooks/armador-de-kernel.md index a57240c8..76221f12 100644 --- a/docs/runbooks/armador-de-kernel.md +++ b/docs/runbooks/armador-de-kernel.md @@ -167,6 +167,34 @@ Necesita `gcc`, `make`, `flex`, `bison` y `perl` en el host (`bc` sólo hace fal el config de `linux.toml`: esa receta ya apaga wifi/audio/fs a mano, así que el lado `disable` del plan no apagaría nada y la predicción no se pondría a prueba. Es el error que cometí la primera vez. +## 4.ter Caso resuelto: el kernel a medida de gioser + +`docs/state/kernel-plans/` guarda el plan y la receta derivada del primer kernel que salió del +armador de punta a punta. Reproducirlo: + +```sh +hammer kernel plan --recipe recipes/linux-metal.toml \ + --bundle sin-wifi --bundle sin-bluetooth --bundle sin-nfc --bundle sin-radios \ + --bundle sin-audio --bundle sin-camaras-tv --bundle sin-infiniband --bundle sin-bus-industrial \ + --bundle sin-thunderbolt-firewire --bundle sin-lector-de-tarjetas --bundle sin-virtualizacion \ + --bundle sin-gpu-intel --bundle solo-ext4 \ + --knob invitado-virtio --knob plataforma-pc --knob jaula-y-eio-moderna \ + --out plan.json --recipe-out linux-gioser.toml +``` + +Resultado: `bzImage` de **11,1 MB** contra los 14,5 MB de `linux-metal` (−23%), 1647 símbolos +encendidos contra 1805, diff-back limpio y gate en verde. + +⚠ **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. Para +construir, copiala a `recipes/incoming-kernel/` **temporalmente** (sus `deps.build` resuelven contra +el catálogo padre) y sacala después. El artefacto sellado sobrevive; la receta se regenera con el +comando de arriba. + +⚠ La copia guardada lleva `-j1` en la fase `compile`, no el `-j"$(nproc)"` que emite `plan`. Fue una +concesión a la memoria de gioser — y **cambia el `ArtifactHash`** (ver SDD 22 §13). El artefacto +`b3:8ffd5710…` corresponde a la variante `-j1`. + ## 5. Diff-back — después de construir Sin esto la UI miente: un `-e FOO` cuya dependencia no se cumple se pierde en silencio. diff --git a/docs/state/kernel-plans/gioser-plan.json b/docs/state/kernel-plans/gioser-plan.json new file mode 100644 index 00000000..cf5238bd --- /dev/null +++ b/docs/state/kernel-plans/gioser-plan.json @@ -0,0 +1,267 @@ +{ + "base_recipe": "recipes/linux-metal.toml", + "base_name": "linux-metal", + "derived_name": "linux-metal-plan-56250a95", + "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" + ], + "knobs": [ + "invitado-virtio", + "plataforma-pc", + "jaula-y-eio-moderna" + ], + "symbols": [ + { + "symbol": "AUDIT", + "action": "enable", + "from": "knob:jaula-y-eio-moderna", + "reason": "perilla" + }, + { + "symbol": "BPF_SYSCALL", + "action": "enable", + "from": "knob:jaula-y-eio-moderna", + "reason": "perilla" + }, + { + "symbol": "BT", + "action": "disable", + "from": "bundle:sin-bluetooth", + "reason": "raíz del bundle" + }, + { + "symbol": "BTRFS_FS", + "action": "disable", + "from": "bundle:solo-ext4", + "reason": "raíz del bundle" + }, + { + "symbol": "CAN", + "action": "disable", + "from": "bundle:sin-bus-industrial", + "reason": "raíz del bundle" + }, + { + "symbol": "DRM_I915", + "action": "disable", + "from": "bundle:sin-gpu-intel", + "reason": "raíz del bundle" + }, + { + "symbol": "F2FS_FS", + "action": "disable", + "from": "bundle:solo-ext4", + "reason": "raíz del bundle" + }, + { + "symbol": "FIREWIRE", + "action": "disable", + "from": "bundle:sin-thunderbolt-firewire", + "reason": "raíz del bundle" + }, + { + "symbol": "GELIC_WIRELESS", + "action": "disable", + "from": "bundle:sin-wifi", + "reason": "fuga `select` cerrada: sin esto el olddefconfig lo reenciende" + }, + { + "symbol": "GFS2_FS", + "action": "disable", + "from": "bundle:solo-ext4", + "reason": "raíz del bundle" + }, + { + "symbol": "HW_RANDOM_VIRTIO", + "action": "enable", + "from": "knob:invitado-virtio", + "reason": "perilla" + }, + { + "symbol": "INFINIBAND", + "action": "disable", + "from": "bundle:sin-infiniband", + "reason": "raíz del bundle" + }, + { + "symbol": "INPUT_PCSPKR", + "action": "enable", + "from": "knob:plataforma-pc", + "reason": "perilla" + }, + { + "symbol": "IO_URING", + "action": "enable", + "from": "knob:jaula-y-eio-moderna", + "reason": "perilla" + }, + { + "symbol": "ITCO_WDT", + "action": "enable", + "from": "knob:plataforma-pc", + "reason": "perilla" + }, + { + "symbol": "IWLEGACY", + "action": "disable", + "from": "bundle:sin-wifi", + "reason": "fuga `select` cerrada: sin esto el olddefconfig lo reenciende" + }, + { + "symbol": "JFS_FS", + "action": "disable", + "from": "bundle:solo-ext4", + "reason": "raíz del bundle" + }, + { + "symbol": "LPC_ICH", + "action": "enable", + "from": "knob:plataforma-pc", + "reason": "perilla" + }, + { + "symbol": "MEDIA_SUPPORT", + "action": "disable", + "from": "bundle:sin-camaras-tv", + "reason": "raíz del bundle" + }, + { + "symbol": "MEMSTICK", + "action": "disable", + "from": "bundle:sin-lector-de-tarjetas", + "reason": "raíz del bundle" + }, + { + "symbol": "MMC", + "action": "disable", + "from": "bundle:sin-lector-de-tarjetas", + "reason": "raíz del bundle" + }, + { + "symbol": "NFC", + "action": "disable", + "from": "bundle:sin-nfc", + "reason": "raíz del bundle" + }, + { + "symbol": "NTFS3_FS", + "action": "disable", + "from": "bundle:solo-ext4", + "reason": "raíz del bundle" + }, + { + "symbol": "NTFS_FS", + "action": "disable", + "from": "bundle:solo-ext4", + "reason": "fuga `select` cerrada: sin esto el olddefconfig lo reenciende" + }, + { + "symbol": "PCIEAER", + "action": "enable", + "from": "knob:plataforma-pc", + "reason": "perilla" + }, + { + "symbol": "RFKILL", + "action": "disable", + "from": "bundle:sin-radios", + "reason": "raíz del bundle" + }, + { + "symbol": "RSI_91X", + "action": "disable", + "from": "bundle:sin-bluetooth", + "reason": "fuga `select` cerrada: sin esto el olddefconfig lo reenciende" + }, + { + "symbol": "SCSI_VIRTIO", + "action": "enable", + "from": "knob:invitado-virtio", + "reason": "perilla" + }, + { + "symbol": "SECURITY_LANDLOCK", + "action": "enable", + "from": "knob:jaula-y-eio-moderna", + "reason": "perilla" + }, + { + "symbol": "SOUND", + "action": "disable", + "from": "bundle:sin-audio", + "reason": "raíz del bundle" + }, + { + "symbol": "USB4", + "action": "disable", + "from": "bundle:sin-thunderbolt-firewire", + "reason": "raíz del bundle" + }, + { + "symbol": "USB_F_UVC", + "action": "disable", + "from": "bundle:sin-camaras-tv", + "reason": "fuga `select` cerrada: sin esto el olddefconfig lo reenciende" + }, + { + "symbol": "VIRTIO_BALLOON", + "action": "enable", + "from": "knob:invitado-virtio", + "reason": "perilla" + }, + { + "symbol": "VIRTIO_CONSOLE", + "action": "enable", + "from": "knob:invitado-virtio", + "reason": "perilla" + }, + { + "symbol": "VIRTUALIZATION", + "action": "disable", + "from": "bundle:sin-virtualizacion", + "reason": "raíz del bundle" + }, + { + "symbol": "WATCHDOG", + "action": "enable", + "from": "knob:plataforma-pc", + "reason": "perilla" + }, + { + "symbol": "WIRELESS", + "action": "disable", + "from": "bundle:sin-wifi", + "reason": "raíz del bundle" + }, + { + "symbol": "WLAN", + "action": "disable", + "from": "bundle:sin-wifi", + "reason": "fuga `select` cerrada: sin esto el olddefconfig lo reenciende" + }, + { + "symbol": "XFS_FS", + "action": "disable", + "from": "bundle:solo-ext4", + "reason": "raíz del bundle" + } + ], + "unknown_symbols": [], + "recipe_side": [], + "closure_size": 3054, + "fragment": "scripts/config -e AUDIT -e BPF_SYSCALL -d BT -d BTRFS_FS -d CAN -d DRM_I915 -d F2FS_FS \\\n -d FIREWIRE -d GELIC_WIRELESS -d GFS2_FS -e HW_RANDOM_VIRTIO -d INFINIBAND -e INPUT_PCSPKR \\\n -e IO_URING -e ITCO_WDT -d IWLEGACY -d JFS_FS -e LPC_ICH -d MEDIA_SUPPORT -d MEMSTICK -d MMC \\\n -d NFC -d NTFS3_FS -d NTFS_FS -e PCIEAER -d RFKILL -d RSI_91X -e SCSI_VIRTIO \\\n -e SECURITY_LANDLOCK -d SOUND -d USB4 -d USB_F_UVC -e VIRTIO_BALLOON -e VIRTIO_CONSOLE \\\n -d VIRTUALIZATION -e WATCHDOG -d WIRELESS -d WLAN -d XFS_FS", + "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 && \\\nscripts/config -e AUDIT -e BPF_SYSCALL -d BT -d BTRFS_FS -d CAN -d DRM_I915 -d F2FS_FS \\\n -d FIREWIRE -d GELIC_WIRELESS -d GFS2_FS -e HW_RANDOM_VIRTIO -d INFINIBAND -e INPUT_PCSPKR \\\n -e IO_URING -e ITCO_WDT -d IWLEGACY -d JFS_FS -e LPC_ICH -d MEDIA_SUPPORT -d MEMSTICK -d MMC \\\n -d NFC -d NTFS3_FS -d NTFS_FS -e PCIEAER -d RFKILL -d RSI_91X -e SCSI_VIRTIO \\\n -e SECURITY_LANDLOCK -d SOUND -d USB4 -d USB_F_UVC -e VIRTIO_BALLOON -e VIRTIO_CONSOLE \\\n -d VIRTUALIZATION -e WATCHDOG -d WIRELESS -d WLAN -d XFS_FS && \\\nmake ARCH=x86_64 olddefconfig\n", + "artifact_hash": "b3:10a60cebc12c63680d52935ef0f48a60d5f70777e219f778944092dc68d1feee" +} \ No newline at end of file diff --git a/docs/state/kernel-plans/linux-gioser.toml b/docs/state/kernel-plans/linux-gioser.toml new file mode 100644 index 00000000..b9268828 --- /dev/null +++ b/docs/state/kernel-plans/linux-gioser.toml @@ -0,0 +1,48 @@ +# 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 = []