evidence · 1.1 KiB

card-layout-readonly.md

Committed at docs/evidence/second-core/card-layout-readonly.md. This is what grounds the requirements that cite it.

Open raw source

Read-only live card layout before CPU0 identity trial

The board operator held /dev/ttyACM0; the protected host capture file’s mtime is 2026-09-27T04:04:42Z (a host timestamp, not a board-clock read). The command used only findmnt, /proc/partitions, and /sys/block/mmcblk*/{size,device/name}. The operator supplied the sanitized output in /tmp/k230-smp-card-layout.txt; the raw console session remains outside the repository. No card or MMIO write occurred.

findmnt -no SOURCE /boot
/dev/mmcblk1p1

cat /proc/partitions
major minor  #blocks  name
 179        0  124936192 mmcblk1
 179        1     114688 mmcblk1p1
 179        2  124805103 mmcblk1p2

/sys/block/mmcblk1/size
249872384
/sys/block/mmcblk1/device/name
SD128

The whole live card has 249872384 512-byte sectors. This identifies the board’s running mmcblk1 only; a removable reader may assign a different device name. The external reader’s by-id path, model/serial comparison, unmounted state, raw-slot backup hashes, and restore capability are still unverified. They remain required before the experimental SPL is written.