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 1569Shell 203Rust 109Markdown 993728 Sutichaykuna

⎇ 7b6da600d6d4145fe092d913320c9b8d491f7bbc scripts/metal-usb-sdboot.sh Shell · 106 siq'ikuna · 6.2 KB Ñawpa willay ch'uya

mirada/USB: telemetría persistente en el pendrive + bump a mirada de hoy (fix musl en tawasuyu) e263b66ec · sergio ·

1#!/usr/bin/env sh
2# metal-usb-sdboot.sh — USB raw (GPT + ESP FAT32) que arranca hammer en metal vía systemd-boot.
3#
4# Alternativa de BRINGUP al boot por EFI-stub directo (que en el firmware del usuario se cuelga tras
5# 'Measured initrd PCR 9', por el quirk de LoadOptions del firmware). systemd-boot:
6#   - pasa una cmdline LIMPIA al kernel (esquiva el quirk EFI_LOAD_OPTION del firmware),
7#   - provee el initrd por LoadFile2 (sin depender del initrd= de la cmdline),
8#   - permite EDITAR la cmdline en vivo (tecla 'e' en el menú) ⇒ iterar sin recompilar.
9#
10# ⚠️ systemd-bootx64.efi es un BINARIO AJENO (del host) — crutch de bringup. TODO: loader soberano.
11#
12# Salida: una IMAGEN DE DISCO (no ISO) para dd directo al pendrive:
13#   sudo dd if=work/hammer-metal-usb.img of=/dev/sdX bs=4M oflag=sync status=progress
14#
15# Uso:   scripts/metal-usb-sdboot.sh
16# Vars:  ROOTFS (def work/metal-rootfs)  KERNEL (def store/*-linux-metal más reciente)
17#        SDBOOT (def systemd-bootx64.efi del host)  IMG (def work/hammer-metal-usb.img)
18#        OPTIONS (cmdline del loader entry)
19set -eu
20ROOT="$(cd "$(dirname "$0")/.." && pwd)"; cd "$ROOT"
21
22ROOTFS="${ROOTFS:-work/metal-rootfs}"
23[ -d "$ROOTFS" ] || { echo "no existe ROOTFS=$ROOTFS (corré scripts/metal-iso.sh primero)" >&2; exit 1; }
24KERNEL="${KERNEL:-$(ls -dt store/*-linux-metal/boot/bzImage 2>/dev/null | head -1)}"
25[ -n "${KERNEL:-}" ] && [ -r "$KERNEL" ] || { echo "no encuentro kernel metal" >&2; exit 1; }
26SDBOOT="${SDBOOT:-/home/sergio/.local/share/shuma/rootfs/arch/usr/lib/systemd/boot/efi/systemd-bootx64.efi}"
27[ -r "$SDBOOT" ] || { echo "no encuentro systemd-bootx64.efi en $SDBOOT" >&2; exit 1; }
28MT=$(ls -d store/*-mtools/usr/bin 2>/dev/null | head -1)
29[ -n "$MT" ] && [ -x "$MT/mformat" ] || { echo "no encuentro mtools de hammer (build recipes/mtools.toml)" >&2; exit 1; }
30IMG="${IMG:-work/hammer-metal-usb.img}"
31# /dev/console=tty0 al FINAL ⇒ la getty de arje da shell en la PANTALLA. earlyprintk=efi para diagnóstico.
32OPTIONS="${OPTIONS:-earlyprintk=efi,keep ignore_loglevel efi=novamap console=ttyS0,115200 console=tty0}"
33WORK="$ROOT/work/metal-sdboot"; rm -rf "$WORK"; mkdir -p "$WORK"
34
35echo "==> kernel: $KERNEL"
36echo "==> rootfs: $ROOTFS  ($(du -sh "$ROOTFS" | cut -f1))"
37
38# 1) staging del initramfs: hardlinks del rootfs + /init del medio live (rdinit=/init lo corre)
39echo "==> staging initramfs (+ /init marcador live)"
40STG="$WORK/rfs"; cp -al "$ROOTFS" "$STG"
41cat > "$STG/init" <<'INIT'
42#!/bin/sh
43/bin/busybox mount -t proc     proc /proc 2>/dev/null || true
44/bin/busybox mount -t sysfs    sys  /sys  2>/dev/null || true
45/bin/busybox mount -t devtmpfs dev  /dev  2>/dev/null || true
46echo "HAMMER-METAL-LIVE-OK: arranque por systemd-boot"
47exec /sbin/init
48INIT
49chmod +x "$STG/init"
50
51# 2) empaquetar initramfs.cpio.gz (root-owned, igual que iso-image.sh)
52echo "==> empaquetando initramfs.cpio.gz"
53( cd "$STG" && find . -print0 | cpio --null -o -H newc -R 0:0 2>/dev/null | gzip -1 ) > "$WORK/initramfs.cpio.gz"
54IRD="$WORK/initramfs.cpio.gz"; echo "    initramfs: $(du -h "$IRD" | cut -f1)"
55
56# 3) ESP FAT32: BOOTX64.EFI=systemd-boot + loader.conf + entry + kernel + initrd
57espkb=$(( ( $(stat -c%s "$KERNEL") + $(stat -c%s "$IRD") ) / 1024 + 16384 ))
58# FAT32 (-F) exige ~33 MiB mínimos; con initramfs chico (bisección) la ESP cae por debajo y la firmware
59# no la lee ("Not Found"). Piso de 48 MiB para que el FAT32 siempre sea válido.
60[ "$espkb" -lt 49152 ] && espkb=49152
61ESP="$WORK/esp.img"; rm -f "$ESP"; truncate -s "$(( espkb * 1024 ))" "$ESP"
62"$MT/mformat" -F -v HAMMER -i "$ESP" ::
63"$MT/mmd" -i "$ESP" ::/EFI ::/EFI/BOOT ::/loader ::/loader/entries
64"$MT/mcopy" -i "$ESP" "$SDBOOT" ::/EFI/BOOT/BOOTX64.EFI
65printf 'default hammer\ntimeout 8\neditor yes\n' > "$WORK/loader.conf"
66printf 'title   hammer (metal)\nlinux   /bzImage\ninitrd  /initramfs.cpio.gz\noptions %s\n' "$OPTIONS" > "$WORK/hammer.conf"
67"$MT/mcopy" -i "$ESP" "$WORK/loader.conf"   ::/loader/loader.conf
68"$MT/mcopy" -i "$ESP" "$WORK/hammer.conf"   ::/loader/entries/hammer.conf
69"$MT/mcopy" -i "$ESP" "$KERNEL"             ::/bzImage
70"$MT/mcopy" -i "$ESP" "$IRD"                ::/initramfs.cpio.gz
71echo "==> ESP poblada ($(du -h "$ESP" | cut -f1)):"
72"$MT/mdir" -i "$ESP" ::/ ::/EFI/BOOT ::/loader/entries 2>/dev/null | grep -iE 'BOOTX64|bzImage|initram|hammer|loader' || true
73
74# 4) imagen de disco GPT: GPT primaria (1MiB) + ESP (en sector 2048) + GPT backup
75esp_sectors=$(( espkb * 2 ))                       # KiB→sectores de 512
76
77# Partición de DATOS opcional (DATA_MB>0): FAT32 con etiqueta, para que el sistema live escriba ahí lo
78# que deba SOBREVIVIR al apagado (telemetría/logs). El rootfs de esta imagen es un initramfs = RAM pura:
79# sin esta partición NO queda rastro de nada al cortar la luz. FAT32 (no ext4) a propósito: el pendrive
80# se lee después desde CUALQUIER máquina (Windows/Mac/Linux) sin herramientas.
81DATA_MB="${DATA_MB:-0}"
82DATA_LABEL="${DATA_LABEL:-HAMMERLOG}"
83data_sectors=0
84if [ "$DATA_MB" -gt 0 ]; then
85  DATA="$WORK/data.img"; rm -f "$DATA"; truncate -s "$(( DATA_MB * 1024 * 1024 ))" "$DATA"
86  "$MT/mformat" -F -v "$DATA_LABEL" -i "$DATA" ::
87  data_sectors=$(( DATA_MB * 2048 ))
88  echo "==> partición de datos FAT32 ${DATA_MB}M etiqueta=$DATA_LABEL (telemetría persistente)"
89fi
90
91rm -f "$IMG"; truncate -s "$(( (2048 + esp_sectors + data_sectors + 2048) * 512 ))" "$IMG"
92{
93  echo "label: gpt"
94  echo "start=2048, size=$esp_sectors, type=C12A7328-F81F-11D2-BA4B-00A0C93EC93B, name=\"EFI System Partition\""
95  [ "$data_sectors" -gt 0 ] && \
96    echo "start=$(( 2048 + esp_sectors )), size=$data_sectors, type=EBD0A0A2-B9E5-4433-87C0-68B6B72699C7, name=\"$DATA_LABEL\""
97} | sfdisk --quiet "$IMG"
98dd if="$ESP" of="$IMG" bs=512 seek=2048 conv=notrunc status=none
99[ "$data_sectors" -gt 0 ] && dd if="$DATA" of="$IMG" bs=512 seek=$(( 2048 + esp_sectors )) conv=notrunc status=none
100
101echo
102echo "✓ USB metal (systemd-boot): $IMG ($(du -h "$IMG" | cut -f1))"
103[ "$data_sectors" -gt 0 ] && echo "  + partición $DATA_LABEL (FAT32 ${DATA_MB}M) para telemetría — legible en cualquier SO"
104echo "  Quemar:  sudo dd if=$IMG of=/dev/sdX bs=4M oflag=sync status=progress"
105echo "  Bootear: el menú de systemd-boot aparece; ENTER arranca. Tecla 'e' = EDITAR la cmdline en vivo."
106echo "  Secure Boot OFF. WiFi (en consola):  wifi-connect \"SSID\" \"CLAVE\""