# Linux kernel 7.1.2 — VARIANTE "GENÉRICA": un solo bzImage que bootea en hardware VARIADO de testers
# (Intel / AMD / NVIDIA), no clavado a un laptop. Hermana de:
#   - recipes/linux.toml         (6.16.12, QEMU-tuned, of_tree LOAD-BEARING del selfhost-verify — INTOCADO)
#   - recipes/linux-metal.toml   (6.16.12, clavado al TigerLake/Iris-Xe/AX201 del otro agente)
# SUSTRATO kikin/harkaq (PLAN-KIKIN §4.bis + HANDOFF-KIKIN-DESDE-HAMMER, 2026-07-16): SECURITY_LANDLOCK
# +AUDIT (la jaula del anfitrión kikin J4b / harkaq), IO_URING (kikin J4 se diseña sobre él) y
# BPF_SYSCALL (horizonte observabilidad) van EXPLÍCITOS: «al azar del defconfig» no es un contrato.
# GPU built-in: i915 (Intel) + radeon (AMD viejo) + NOUVEAU (NVIDIA) para que mirada tenga un DRM
# device. amdgpu (AMD moderno) DROPEADO en v1: es el driver más grande/lento y no hace falta para el
# tester NVIDIA; se agrega en v2 cuando la base esté validada. Monolítico (MODULES off): arje-zero PID1 sin udev/
# modprobe ⇒ todo lo de boot/ver/teclear debe ser =y. Build ~60min (config ANCHA, GPU pesadas).
#
# ⚠️ NVIDIA / mirada — alcance del KERNEL: esta receta da KMS (modesetting) por nouveau, que es
# NECESARIO pero NO suficiente para mirada en NVIDIA:
#   (1) FIRMWARE: nouveau carga blobs de /lib/firmware/nouveau/ (ctxsw, pre-Turing) y
#       /lib/firmware/nvidia/<chip>/gsp/*.bin (GSP-RM, Turing+ / RTX). Los inyecta la IMAGEN
#       (linux-firmware) — NO van en el kernel. Sin GSP, nouveau no hace modeset en GPUs Turing+.
#   (2) USERLAND GPU: mirada (wgpu→Vulkan / GL) necesita MESA con nouveau (gallium "nouveau"/zink) o
#       NVK (Vulkan). La mesa del otro agente es IRIS-ONLY ⇒ hay que construir una mesa con nouveau/NVK
#       para que mirada renderice en NVIDIA. Eso es del frente del otro agente. El kernel sólo aporta
#       el /dev/dri/cardN con KMS.
# Compilador: CC=gcc/HOSTCC=gcc — gueto-GCC (zig cc choca con el kbuild x86), igual que linux.toml/metal.

name    = "linux-generic"
version = "7.1.2"
license = "GPL-2.0-only WITH Linux-syscall-note"

[source]
tarball = "https://mirrors.edge.kernel.org/pub/linux/kernel/v7.x/linux-7.1.2.tar.gz"
sha256  = "b43e0a2db2a89fc5a88f54417ea13a3f05fbb17fdaf53015ce16525750a2db83"

[build]
compiler = "zig-cc"
target   = "x86_64-linux-musl"
link     = "dynamic"

[deps]
build = ["flex", "bison", "m4", "openssl", "elfutils", "make"]

[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 VIRTIO -e VIRTIO_PCI -e VIRTIO_BLK -e VIRTIO_NET -e DRM_VIRTIO_GPU \
  -e PCI -e PCIEPORTBUS -e ACPI -e FW_LOADER \
  -e EXT4_FS -e SQUASHFS -e SQUASHFS_XZ -e SQUASHFS_ZSTD -e SQUASHFS_LZ4 \
  -e SATA_AHCI -e ATA -e ATA_PIIX -e SCSI -e BLK_DEV_SD -e BLK_DEV_SR -e BLK_DEV_LOOP \
  -e NVME_CORE -e BLK_DEV_NVME \
  -e MMC -e MMC_BLOCK -e MMC_SDHCI -e MMC_SDHCI_PCI -e MMC_SDHCI_ACPI \
  -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 HID_MULTITOUCH -e INPUT_EVDEV \
  -e INPUT_KEYBOARD -e KEYBOARD_ATKBD -e INPUT_MOUSE -e MOUSE_PS2 -e INPUT_TOUCHPAD \
  -e SERIO -e SERIO_I8042 -e VT -e VT_CONSOLE \
  -e DRM -e DRM_SIMPLEDRM -e SYSFB_SIMPLEFB -e FB -e FB_EFI -e FB_VESA \
  -e DRM_I915 -e DRM_RADEON -e DRM_NOUVEAU -d DRM_AMDGPU -d DRM_AMD_DC -d HSA_AMD \
  -e DRM_FBDEV_EMULATION -e FRAMEBUFFER_CONSOLE -e FRAMEBUFFER_CONSOLE_DETECT_PRIMARY \
  -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 DEVTMPFS \
  -e WLAN -e WIRELESS -e CFG80211 -e MAC80211 -e RFKILL \
  -e WLAN_VENDOR_INTEL -e IWLWIFI -e IWLMVM -e IWLDVM \
  -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 SOUND -d SND -d MEDIA_SUPPORT -d INFINIBAND -d BT -d NFC -d CAN \
  -d WATCHDOG -d THUNDERBOLT -d FIREWIRE -d DEBUG_WX \
  -d XFS_FS -d BTRFS_FS -d F2FS_FS -d JFS_FS -d REISERFS_FS -d GFS2_FS -d NTFS3_FS && \
scripts/config --set-str CMDLINE "console=tty0 console=ttyS0,115200 ignore_loglevel" && \
make ARCH=x86_64 olddefconfig
"""
# amdgpu (AMD moderno) NO compila en 7.1 con el gcc del gueto (ICE sin mensaje en amdgpu_userq_fence.c)
# y syncconfig lo re-activaba pese a -d en kconfig (default-y de DRM_AMD_DC + un select que no aparece).
# SLEDGEHAMMER GARANTIZADO: borro las líneas `obj-$(CONFIG_DRM_AMDGPU)+= amd/...` del Makefile del drm
# ⇒ amd/{amdgpu,amdxcp,display} nunca se descienden, sin importar kconfig. amdgpu es self-contained
# (nada del core lo referencia) ⇒ excluirlo es seguro. radeon (AMD viejo) + i915 + nouveau quedan.
compile = "sed -i '/CONFIG_DRM_AMDGPU)+= amd/d' drivers/gpu/drm/Makefile && make ARCH=x86_64 CC=gcc HOSTCC=gcc -j\"$(nproc)\" bzImage"
install = "mkdir -p /out/boot && cp arch/x86/boot/bzImage /out/boot/bzImage && cp .config /out/boot/config-7.1.2-generic"