gioser

sergio/takana

> Una distribución Linux construida con un laboratorio funcional y hermético en el > sótano, y una terminal mutable, clásica y anárquica en el piso de arriba — diseñada > desde el suelo para que una IA programadora entienda, modifique y co…

TOML 1570Shell 203Rust 109Markdown 993728 Definiciones

⎇ a6cefd9b5d33c416419ef8bacfcc8fa05bb8fc61 recipes/linux-generic.toml TOML · 114 líneas · 7.6 KB Historia crudo

kernel con nf_tables: construido y verificado — y `NFT_COUNTER` ya no existe f57c18ab7 · Sergio ·

1# Linux kernel 7.1.2 — VARIANTE "GENÉRICA": un solo bzImage que bootea en hardware VARIADO de testers
2# (Intel / AMD / NVIDIA), no clavado a un laptop. Hermana de:
3#   - recipes/linux.toml         (6.16.12, QEMU-tuned, of_tree LOAD-BEARING del selfhost-verify — INTOCADO)
4#   - recipes/linux-metal.toml   (6.16.12, clavado al TigerLake/Iris-Xe/AX201 del otro agente)
5# SUSTRATO kikin/harkaq (PLAN-KIKIN §4.bis + HANDOFF-KIKIN-DESDE-HAMMER, 2026-07-16): SECURITY_LANDLOCK
6# +AUDIT (la jaula del anfitrión kikin J4b / harkaq), IO_URING (kikin J4 se diseña sobre él) y
7# BPF_SYSCALL (horizonte observabilidad) van EXPLÍCITOS: «al azar del defconfig» no es un contrato.
8# GPU built-in: i915 (Intel) + radeon (AMD viejo) + NOUVEAU (NVIDIA) para que mirada tenga un DRM
9# device. amdgpu (AMD moderno) DROPEADO en v1: es el driver más grande/lento y no hace falta para el
10# tester NVIDIA; se agrega en v2 cuando la base esté validada. Monolítico (MODULES off): arje-zero PID1 sin udev/
11# modprobe ⇒ todo lo de boot/ver/teclear debe ser =y. Build ~60min (config ANCHA, GPU pesadas).
12#
13# ⚠️ NVIDIA / mirada — alcance del KERNEL: esta receta da KMS (modesetting) por nouveau, que es
14# NECESARIO pero NO suficiente para mirada en NVIDIA:
15#   (1) FIRMWARE: nouveau carga blobs de /lib/firmware/nouveau/ (ctxsw, pre-Turing) y
16#       /lib/firmware/nvidia/<chip>/gsp/*.bin (GSP-RM, Turing+ / RTX). Los inyecta la IMAGEN
17#       (linux-firmware) — NO van en el kernel. Sin GSP, nouveau no hace modeset en GPUs Turing+.
18#   (2) USERLAND GPU: mirada (wgpu→Vulkan / GL) necesita MESA con nouveau (gallium "nouveau"/zink) o
19#       NVK (Vulkan). La mesa del otro agente es IRIS-ONLY ⇒ hay que construir una mesa con nouveau/NVK
20#       para que mirada renderice en NVIDIA. Eso es del frente del otro agente. El kernel sólo aporta
21#       el /dev/dri/cardN con KMS.
22# ⚠️ NETFILTER: `nf_tables` VA EXPLÍCITO, y se descubrió porque FALTABA (2026-09-15). En la caja de
23# producción, con `nftables` instalado y sellado:
24#
25#     $ nft list ruleset
26#     netlink: Error: cache initialization failed: Invalid argument
27#
28# El `.config` sellado lo decía: `CONFIG_NETFILTER=y`, `CONFIG_NF_CONNTRACK=y` y
29# **`# CONFIG_NF_TABLES is not set`** — porque `make defconfig` deja `NETFILTER_ADVANCED` apagado y
30# NF_TABLES cuelga de ella. O sea: una caja de producción **sin cortafuegos de ninguna clase**, con
31# el userland completo y el kernel diciendo que no. Es la lección de esta misma familia de recetas:
32# *la receta dice lo que se CAMBIÓ; sólo el `.config` sellado dice lo que QUEDÓ.*
33#
34# Lo que se enciende es exactamente lo que pide el cortafuegos de tawasuyu (`shared/cortafuegos`,
35# SDD-ENTRADA): tabla `inet` (`NF_TABLES_INET`), estado de conexión (`NFT_CT`), y el `limit rate`
36# por elemento de set (`NFT_LIMIT`) que es lo que implementa el ban por IP **dentro del kernel**, sin
37# daemon — el reemplazo de fail2ban. `NFT_SYNPROXY` va porque ese SDD lo tiene planeado detrás de un
38# flag y encenderlo después costaría otro kernel y otro reinicio de producción.
39#
40# ⚠ `-e NFT_COUNTER` de esa línea es INERTE y se deja escrito a propósito: en 7.1 ese símbolo **ya no
41# existe** (los contadores son parte del core de nf_tables), así que no aparece en el `.config` ni
42# siquiera como `# … is not set`. Sin esta nota, el próximo que compare la receta con el `.config`
43# va a leer una ausencia como un fallo y va a salir a cazar un bug que no está.
44# Compilador: CC=gcc/HOSTCC=gcc — gueto-GCC (zig cc choca con el kbuild x86), igual que linux.toml/metal.
45
46name    = "linux-generic"
47version = "7.1.2"
48license = "GPL-2.0-only WITH Linux-syscall-note"
49
50[source]
51tarball = "https://mirrors.edge.kernel.org/pub/linux/kernel/v7.x/linux-7.1.2.tar.gz"
52sha256  = "b43e0a2db2a89fc5a88f54417ea13a3f05fbb17fdaf53015ce16525750a2db83"
53
54[build]
55compiler = "zig-cc"
56target   = "x86_64-linux-musl"
57link     = "dynamic"
58
59[deps]
60build = ["flex", "bison", "m4", "openssl", "elfutils", "make"]
61
62# SDD 25 §7-H1: `-e MEMCG -e PSI`. Sin MEMCG el fichero `memory.max` NO EXISTE y
63# `arje-incarnate::cgroup` sólo emite un `warn!` ⇒ la Card corre SIN tope de memoria. Va en la
64# fase configure porque el .config ES la identidad del artefacto (SDD 22 §1): esto re-hashea el
65# kernel a propósito. Comprobable con `takana kernel contract` sobre el config YA PRODUCIDO.
66[build.phases]
67configure = """
68make ARCH=x86_64 defconfig && \
69scripts/config -d MODULE_SIG -d MODULE_SIG_ALL -d DEBUG_INFO_BTF -d DEBUG_INFO -d MODULES \
70  -d UNWINDER_ORC -e UNWINDER_FRAME_POINTER \
71  -e BLK_DEV_INITRD -e DEVTMPFS -e DEVTMPFS_MOUNT -e TMPFS \
72  -e OVERLAY_FS -e USER_NS -e NAMESPACES \
73  -e FANOTIFY -e FANOTIFY_ACCESS_PERMISSIONS \
74  -e OVERLAY_FS_REDIRECT_DIR -e OVERLAY_FS_INDEX -e OVERLAY_FS_XINO_AUTO -e OVERLAY_FS_METACOPY \
75  -e SECURITY -e SECURITY_LANDLOCK -e AUDIT -e IO_URING -e BPF_SYSCALL \
76  -e MEMCG -e PSI -d PSI_DEFAULT_DISABLED \
77  -e NETFILTER_ADVANCED -e NF_TABLES -e NF_TABLES_INET -e NF_CONNTRACK -e NF_CONNTRACK_MARK \
78  -e NFT_CT -e NFT_LIMIT -e NFT_COUNTER -e NFT_LOG -e NFT_REJECT -e NFT_REJECT_INET \
79  -e NETFILTER_SYNPROXY -e NFT_SYNPROXY \
80  -e VIRTIO -e VIRTIO_PCI -e VIRTIO_BLK -e VIRTIO_NET -e DRM_VIRTIO_GPU \
81  -e PCI -e PCIEPORTBUS -e ACPI -e FW_LOADER \
82  -e EXT4_FS -e SQUASHFS -e SQUASHFS_XZ -e SQUASHFS_ZSTD -e SQUASHFS_LZ4 \
83  -e SATA_AHCI -e ATA -e ATA_PIIX -e SCSI -e BLK_DEV_SD -e BLK_DEV_SR -e BLK_DEV_LOOP \
84  -e NVME_CORE -e BLK_DEV_NVME \
85  -e MMC -e MMC_BLOCK -e MMC_SDHCI -e MMC_SDHCI_PCI -e MMC_SDHCI_ACPI \
86  -e USB_SUPPORT -e USB -e USB_PCI -e USB_XHCI_HCD -e USB_XHCI_PCI \
87  -e USB_EHCI_HCD -e USB_EHCI_PCI -e USB_OHCI_HCD -e USB_UHCI_HCD -e USB_STORAGE \
88  -e HID -e HID_GENERIC -e USB_HID -e HID_MULTITOUCH -e INPUT_EVDEV \
89  -e INPUT_KEYBOARD -e KEYBOARD_ATKBD -e INPUT_MOUSE -e MOUSE_PS2 -e INPUT_TOUCHPAD \
90  -e SERIO -e SERIO_I8042 -e VT -e VT_CONSOLE \
91  -e DRM -e DRM_SIMPLEDRM -e SYSFB_SIMPLEFB -e FB -e FB_EFI -e FB_VESA \
92  -e DRM_I915 -e DRM_RADEON -e DRM_NOUVEAU -d DRM_AMDGPU -d DRM_AMD_DC -d HSA_AMD \
93  -e DRM_FBDEV_EMULATION -e FRAMEBUFFER_CONSOLE -e FRAMEBUFFER_CONSOLE_DETECT_PRIMARY \
94  -e EFI -e EFI_STUB -e EFI_PARTITION -e EFIVAR_FS -e CMDLINE_BOOL \
95  -e VFAT_FS -e FAT_FS -e MSDOS_FS -e NLS_CODEPAGE_437 -e NLS_ISO8859_1 -e NLS_UTF8 \
96  -e ISO9660_FS -e JOLIET -e DEVTMPFS \
97  -e WLAN -e WIRELESS -e CFG80211 -e MAC80211 -e RFKILL \
98  -e WLAN_VENDOR_INTEL -e IWLWIFI -e IWLMVM -e IWLDVM \
99  -e ETHERNET -e NET_VENDOR_INTEL -e E1000 -e E1000E -e IGB -e IGC \
100  -e NET_VENDOR_REALTEK -e R8169 -e NET_VENDOR_BROADCOM -e TG3 \
101  -e USB_NET_DRIVERS -e USB_USBNET -e USB_NET_CDCETHER -e USB_NET_CDC_NCM -e USB_NET_RNDIS_HOST \
102  -d SOUND -d SND -d MEDIA_SUPPORT -d INFINIBAND -d BT -d NFC -d CAN \
103  -d WATCHDOG -d USB4 -d FIREWIRE -d DEBUG_WX \
104  -d XFS_FS -d BTRFS_FS -d F2FS_FS -d JFS_FS -d GFS2_FS -d NTFS3_FS && \
105scripts/config --set-str CMDLINE "console=tty0 console=ttyS0,115200 ignore_loglevel" && \
106make ARCH=x86_64 olddefconfig
107"""
108# amdgpu (AMD moderno) NO compila en 7.1 con el gcc del gueto (ICE sin mensaje en amdgpu_userq_fence.c)
109# y syncconfig lo re-activaba pese a -d en kconfig (default-y de DRM_AMD_DC + un select que no aparece).
110# SLEDGEHAMMER GARANTIZADO: borro las líneas `obj-$(CONFIG_DRM_AMDGPU)+= amd/...` del Makefile del drm
111# ⇒ amd/{amdgpu,amdxcp,display} nunca se descienden, sin importar kconfig. amdgpu es self-contained
112# (nada del core lo referencia) ⇒ excluirlo es seguro. radeon (AMD viejo) + i915 + nouveau quedan.
113compile = "sed -i '/CONFIG_DRM_AMDGPU)+= amd/d' drivers/gpu/drm/Makefile && make ARCH=x86_64 CC=gcc HOSTCC=gcc -j\"$(nproc)\" bzImage"
114install = "mkdir -p /out/boot && cp arch/x86/boot/bzImage /out/boot/bzImage && cp .config /out/boot/config-7.1.2-generic"