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 1463Shell 159Markdown 91Rust 853029 Definitions

⎇ b1e2eb95cebe8c0986f6593349051cb9c4078236 recipes/linux-metal.toml TOML · 84 lines · 5.1 KB History raw

Etapa metal: arranque UEFI por EFI-stub directo (esquiva GRUB 2.14 roto) b1e2eb95c · sergio ·

1# Linux kernel 6.16.12 — VARIANTE "METAL": booteable en hardware real (no sólo QEMU).
2#
3# Hermana de recipes/linux.toml (el kernel QEMU-tuned del selfhost-verify, INTOCADO: su of_tree es
4# load-bearing para la reproducibilidad bit-a-bit). Esta variante NO recorta el hardware; al revés, lo
5# habilita built-in (=y) porque el producto hammer es monolítico (arje-zero PID1, sin udev/modprobe en
6# el camino de boot ⇒ todo lo que haga falta para arrancar/ver/teclear/conectar debe ser =y, no =m).
7#
8# Target concreto: laptop TigerLake-LP (Intel Iris Xe + Wi-Fi 6 AX201 [8086:a0f0]), boot EFI.
9#   - Pantalla:  DRM_SIMPLEDRM + SYSFB_SIMPLEFB + FB_EFI (framebuffer del GOP de EFI; NO i915 → sin
10#                firmware GuC/DMC/HuC, consola fbcon basta). i915/amdgpu/nouveau/radeon quedan OFF.
11#   - Teclado:   USB_HID + HID_GENERIC + i8042/atkbd (teclado integrado del portátil suele ser PS/2).
12#   - Discos:    AHCI/ATA + NVMe + USB_STORAGE + SCSI/sd (NVMe es lo más probable en TigerLake).
13#   - WiFi:      cfg80211 + mac80211 + iwlwifi + iwlmvm (AX201 usa el path mvm). El firmware
14#                (iwlwifi-QuZ-a0-hr-b0-*.ucode, cc-a0-*) + regulatory.db NO van acá — son blobs no
15#                compilables; se inyectan en /lib/firmware del rootfs (ver scripts/metal-firmware.sh).
16#   - Red extra: e1000e/r8169/igb/igc/tg3 (Ethernet común) + USB-CDC/RNDIS (tether del celu) — baratos.
17#   - Boot:      EFI_STUB + EFI_PARTITION + VFAT (ESP) + ISO9660/Joliet (leer el medio live).
18#                CMDLINE EMBEBIDO (CONFIG_CMDLINE_BOOL, sin FORCE): el bzImage se arranca por EFI-STUB
19#                DIRECTO como \EFI\BOOT\BOOTX64.EFI (la firmware lo lanza sin GRUB — esquiva el bug de
20#                GRUB 2.14 que cuelga la rama UEFI). Sin bootloader no hay LoadOptions, así que el cmdline
21#                va horneado: console=tty0 (pantalla) + initrd=/initramfs.cpio.gz (el EFI-stub lo carga de
22#                la ESP; file.c convierte '/'→'\'). En boot BIOS, GRUB provee su propio cmdline (se
23#                antepone el embebido, inocuo) y su propio initrd ⇒ ambas ramas conviven.
24#
25# Conserva TODO lo que hammer necesita (de linux.toml): E1000/OVERLAY_FS(+subfeatures)/USER_NS/
26# NAMESPACES/FANOTIFY/VIRTIO* ⇒ esta misma imagen sigue booteando en QEMU (para poder testear el boot
27# antes de quemar el USB). MODULES=off ⇒ monolítico puro (sin .ko que nadie cargaría).
28#
29# Compilador: CC=gcc/HOSTCC=gcc — MISMA decisión del gueto-GCC que linux.toml (zig cc choca con el
30# kbuild x86). Build ~45min (config ancha). Build-deps idénticos (flex/bison/m4/openssl/elfutils +
31# bootstrap-libs apk del bootstrap-devfs.sh).
32
33name    = "linux-metal"
34version = "6.16.12"
35
36[source]
37tarball = "https://mirrors.edge.kernel.org/pub/linux/kernel/v6.x/linux-6.16.12.tar.gz"
38sha256  = "ffc6af80b014ddebd55e116aa29a9f7a5256c87a29a8a9dd97270b6d49625109"
39
40[build]
41compiler = "zig-cc"
42target   = "x86_64-linux-musl"
43link     = "dynamic"
44
45[deps]
46build = ["flex", "bison", "m4", "openssl", "elfutils"]
47
48[build.phases]
49configure = """
50make ARCH=x86_64 defconfig && \
51scripts/config -d MODULE_SIG -d MODULE_SIG_ALL -d DEBUG_INFO_BTF -d DEBUG_INFO -d MODULES \
52  -d UNWINDER_ORC -e UNWINDER_FRAME_POINTER \
53  -e BLK_DEV_INITRD -e DEVTMPFS -e DEVTMPFS_MOUNT -e TMPFS \
54  -e OVERLAY_FS -e USER_NS -e NAMESPACES \
55  -e FANOTIFY -e FANOTIFY_ACCESS_PERMISSIONS \
56  -e OVERLAY_FS_REDIRECT_DIR -e OVERLAY_FS_INDEX -e OVERLAY_FS_XINO_AUTO -e OVERLAY_FS_METACOPY \
57  -e VIRTIO -e VIRTIO_PCI -e VIRTIO_BLK -e VIRTIO_NET -e EXT4_FS \
58  -e PCI -e PCIEPORTBUS -e ACPI \
59  -e SATA_AHCI -e ATA -e ATA_PIIX -e SCSI -e BLK_DEV_SD -e BLK_DEV_LOOP \
60  -e NVME_CORE -e BLK_DEV_NVME \
61  -e USB_SUPPORT -e USB -e USB_PCI -e USB_XHCI_HCD -e USB_XHCI_PCI \
62  -e USB_EHCI_HCD -e USB_EHCI_PCI -e USB_OHCI_HCD -e USB_UHCI_HCD -e USB_STORAGE \
63  -e HID -e HID_GENERIC -e USB_HID -e INPUT_EVDEV \
64  -e INPUT_KEYBOARD -e KEYBOARD_ATKBD -e INPUT_MOUSE -e MOUSE_PS2 \
65  -e SERIO -e SERIO_I8042 -e VT -e VT_CONSOLE \
66  -e DRM -e DRM_SIMPLEDRM -e SYSFB_SIMPLEFB -e FB -e FB_EFI \
67  -e FRAMEBUFFER_CONSOLE -e FRAMEBUFFER_CONSOLE_DETECT_PRIMARY \
68  -e EFI -e EFI_STUB -e EFI_PARTITION -e EFIVAR_FS -e CMDLINE_BOOL \
69  -e VFAT_FS -e FAT_FS -e MSDOS_FS -e NLS_CODEPAGE_437 -e NLS_ISO8859_1 -e NLS_UTF8 \
70  -e ISO9660_FS -e JOLIET \
71  -e WLAN -e WIRELESS -e CFG80211 -e MAC80211 -e RFKILL \
72  -e WLAN_VENDOR_INTEL -e IWLWIFI -e IWLMVM \
73  -e ETHERNET -e NET_VENDOR_INTEL -e E1000 -e E1000E -e IGB -e IGC \
74  -e NET_VENDOR_REALTEK -e R8169 -e NET_VENDOR_BROADCOM -e TG3 \
75  -e USB_NET_DRIVERS -e USB_USBNET -e USB_NET_CDCETHER -e USB_NET_CDC_NCM -e USB_NET_RNDIS_HOST \
76  -d DRM_I915 -d DRM_AMDGPU -d DRM_NOUVEAU -d DRM_RADEON -d AGP \
77  -d SOUND -d SND -d MEDIA_SUPPORT -d INFINIBAND -d BT -d NFC -d CAN \
78  -d WATCHDOG -d THUNDERBOLT -d FIREWIRE \
79  -d XFS_FS -d BTRFS_FS -d F2FS_FS -d JFS_FS -d REISERFS_FS -d GFS2_FS -d NTFS3_FS && \
80scripts/config --set-str CMDLINE "console=ttyS0,115200 console=tty0 initrd=/initramfs.cpio.gz rdinit=/init" && \
81make ARCH=x86_64 olddefconfig
82"""
83compile = "make ARCH=x86_64 CC=gcc HOSTCC=gcc -j\"$(nproc)\" bzImage"
84install = "mkdir -p /out/boot && cp arch/x86/boot/bzImage /out/boot/bzImage && cp .config /out/boot/config-6.16.12-metal"