RPi5 G8a PSCI CPU1 paketi exact microSD'ye formatsız yazıldı; BOOT8 UART bekliyor

check-sd-rpi5:
	@test -n "$(SD_DISK)" || \
		(echo "HATA: SD_DISK zorunlu. Örnek: make $@ SD_DISK=/dev/disk4"; exit 1)
	@printf '%s\n' "$(SD_DISK)" | grep -Eq '^/dev/disk[0-9]+$$' || \
		(echo "HATA: SD_DISK whole disk biçiminde olmalı: /dev/diskN"; exit 1)
	@INFO=$$(mktemp -t aselsanos-sd); trap 'rm -f "$$INFO"' EXIT; \
		diskutil info -plist "$(SD_DISK)" > "$$INFO"; \
		[ "$$(plutil -extract DeviceNode raw -o - "$$INFO")" = "$(SD_DISK)" ] || \
			{ echo "HATA: DeviceNode eşleşmiyor"; exit 1; }; \
		[ "$$(plutil -extract WholeDisk raw -o - "$$INFO")" = "true" ] || \
			{ echo "HATA: $(SD_DISK) whole disk değil"; exit 1; }; \
		[ "$$(plutil -extract OSInternalMedia raw -o - "$$INFO")" = "false" ] || \
			{ echo "HATA: işletim sistemi dahili diski reddedildi"; exit 1; }; \
		[ "$$(plutil -extract RemovableMediaOrExternalDevice raw -o - "$$INFO")" = "true" ] || \
			{ echo "HATA: aygıt çıkarılabilir/harici değil"; exit 1; }; \
		[ "$$(plutil -extract BusProtocol raw -o - "$$INFO")" = "Secure Digital" ] || \
			{ echo "HATA: yalnızca Secure Digital veri yolu kabul edilir"; exit 1; }

  {
    id: "rpi5-g8a-package-microsd-reflash-verified",
    date: "2026-08-20",
    sequence: 44,
    status: "verified",
    title:
      "RPi5 G8a PSCI CPU1 paketi exact microSD'ye formatsız yazıldı; BOOT8 UART bekliyor",
    summary:
      "Sıra 43'te dondurulan 242848 bayt / dca4ab20…ae863 G8a paketi, salt-okunur kimlik kontrolleriyle çözülen exact 62549655552 bayt Secure Digital karta format çağrısı yapılmadan yazıldı. Önceki G7d paketinin manifesti 3/3 doğrulandı; ardından make flash-rpi5 yalnız imaj, DTB, config ve SHA256SUMS dosyalarını mevcut FAT32 ASELSANBOOT kökünde değiştirdi. Yazma sonrasında kart manifesti 3/3, dört kaynak-kart cmp karşılaştırması ve SHA-256 değerleri geçti; sync ve eject sonrasında /dev/disk4 ile mount noktasının yokluğu doğrulandı. Raspberry Pi 5 açılmadı ve gerçek G8S0/G8S1/BOOT8 UART10 çıktısı henüz alınmadı.",
    evidence: [
      "Exact aygıt /dev/disk4, Built In SDXC Reader üzerinden Protocol=Secure Digital, Internal=true, Removable=true ve tam 62,549,655,552 bayt olarak çözüldü; tahmini disk adı veya geniş hedef kullanılmadı.",
      "/dev/disk4s1 MS-DOS FAT32 bölümü ASELSANBOOT adıyla exact /Volumes/ASELSANBOOT konumunda yazılabilir bağlıydı; make check-sd-rpi5 ve verify-sd-volume-rpi5 exit 0 verdi.",
      "Yazım öncesi kartta fiziksel BOOT7D PASS veren 230560 bayt / 0927d195432c8a9c61813f35438bb09d3323e2ce94e10fa791de47f0b01239f9 G7d imajı vardı ve eski manifest 3/3 OK verdi.",
      "format-sd-rpi5 çağrılmadı; make flash-rpi5 mevcut FAT32 düzeni koruyarak yalnız aselsanos-rpi5.img, bcm2712-rpi-5-b.dtb, config.txt ve SHA256SUMS dosyalarını kopyaladı.",
      "Karttaki G8a imajı exact 242848 bayt / dca4ab20b49b2a6b26cb19d6d0f0d880d5af49057c95c05996d0ce43a3ae8637 oldu.",
      "Karttaki DTB 78703 bayt / 40a2fbe9c29e8b9a4912cf726a943068defb779fc052ec38e457a79c58abca00; config 501 bayt / 1248275cdc6f6ce951ce0ff2183471d194c5b9bb58c3dc3f66efa9156f91d76b; manifest 248 bayt / f779999ead67e71b7b26fd3eb30370113bf2d495ff4110f6874b36ba80750501 olarak doğrulandı.",
      "Kart kökündeki SHA256SUMS doğrudan 3/3 OK verdi; dört ayrı cmp kaynak build/rpi5 dosyaları ile kart dosyalarını byte-for-byte eşit buldu.",
      "sync tamamlandı; diskutil eject /dev/disk4 başarılı oldu. Son kontrolde disk4_absent=PASS ve ASELSANBOOT_unmounted=PASS verildi.",
      "Kart yazımı G8a runtime kanıtı değildir: Pi'ye güç verilmedi, UART descriptor'ı açılmadı ve strict G8 validator çalıştırılmadı.",
    ],
    commands: [
      "diskutil info /dev/disk4 + diskutil info /dev/disk4s1",
      "make check-sd-rpi5 SD_DISK=/dev/disk4",
      "make verify-sd-volume-rpi5 SD_DISK=/dev/disk4 SD_MOUNT=/Volumes/ASELSANBOOT",
      "make flash-rpi5 SD_DISK=/dev/disk4 SD_MOUNT=/Volumes/ASELSANBOOT",
      "shasum -a 256 -c SHA256SUMS + four cmp + sync",
      "diskutil eject /dev/disk4 + disk/mount absence audit",
    ],
    terminalSessionsNote:
      "Bu oturumlar aynı fiziksel kart yazımının seçili gerçek komut ve yanıtlarıdır. UART satırı içermez; yalnız microSD hazırlık zincirini kanıtlar.",
    terminalSessions: [
      {
        id: "g8a-sd-identity-preflight",
        title: "Exact Secure Digital aygıtı ve FAT32 bölüm kimliği",
        commandLines: [
          "diskutil info /dev/disk4",
          "make check-sd-rpi5 SD_DISK=/dev/disk4",
          "make verify-sd-volume-rpi5 SD_DISK=/dev/disk4 SD_MOUNT=/Volumes/ASELSANBOOT",
        ],
        outputLines: [
          "Device Node: /dev/disk4 · Built In SDXC Reader",
          "Protocol: Secure Digital · Disk Size: 62549655552 Bytes",
          "Removable Media: Removable · read-only: No",
          "disk4s1 · MS-DOS FAT32 · ASELSANBOOT · /Volumes/ASELSANBOOT",
          "check-sd-rpi5: PASS",
          "verify-sd-volume-rpi5: PASS",
        ],
        exitCode: 0,
        outputMode: "selected",
      },
      {
        id: "g8a-sd-before-and-write",
        title: "Önceki G7d bağı ve formatsız G8a yazımı",
        commandLines: [
          "cd /Volumes/ASELSANBOOT && shasum -a 256 -c SHA256SUMS",
          "make flash-rpi5 SD_DISK=/dev/disk4 SD_MOUNT=/Volumes/ASELSANBOOT",
        ],
        outputLines: [
          "before: 230560 B · 0927d195432c8a9c…b01239f9 · manifest 3/3 OK",
          "format-sd-rpi5: çağrılmadı",
          "G8 PSCI/secondary machine-code gate: PASS",
          "aselsanos-rpi5.img: OK",
          "bcm2712-rpi-5-b.dtb: OK",
          "config.txt: OK",
          "Kart için beklenen fiziksel marker: ASELSAN/BOOT8",
        ],
        exitCode: 0,
        outputMode: "selected",
      },
      {
        id: "g8a-sd-post-write",
        title: "Yazma sonrası hash, manifest ve dört byte karşılaştırması",
        commandLines: [
          "shasum -a 256 /Volumes/ASELSANBOOT/{aselsanos-rpi5.img,bcm2712-rpi-5-b.dtb,config.txt,SHA256SUMS}",
          "cd /Volumes/ASELSANBOOT && shasum -a 256 -c SHA256SUMS",
          "cmp build/rpi5/<file> /Volumes/ASELSANBOOT/<file> · dört dosya",
        ],
        outputLines: [
          "242848 B · dca4ab20b49b2a6b26cb19d6d0f0d880d5af49057c95c05996d0ce43a3ae8637  aselsanos-rpi5.img",
          "78703 B · 40a2fbe9c29e8b9a4912cf726a943068defb779fc052ec38e457a79c58abca00  bcm2712-rpi-5-b.dtb",
          "501 B · 1248275cdc6f6ce951ce0ff2183471d194c5b9bb58c3dc3f66efa9156f91d76b  config.txt",
          "248 B · f779999ead67e71b7b26fd3eb30370113bf2d495ff4110f6874b36ba80750501  SHA256SUMS",
          "manifest=3/3 OK",
          "image cmp=OK · dtb cmp=OK · config cmp=OK · SHA256SUMS cmp=OK",
          "post_write_verification=PASS",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
      {
        id: "g8a-sd-safe-eject",
        title: "Sync, güvenli eject ve aygıt yokluğu",
        commandLines: [
          "sync",
          "diskutil eject /dev/disk4",
          "diskutil info + mount absence audit",
        ],
        outputLines: [
          "Disk /dev/disk4 ejected",
          "disk4_absent=PASS",
          "ASELSANBOOT_unmounted=PASS",
          "safe_eject=PASS",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
    ],
    limitations: [
      "Bu kayıt yalnız exact karta güvenli paket yazımıdır; Raspberry Pi 5 açılmadı ve fiziksel BOOT8 PASS değildir.",
      "Gerçek G8S0/G8S1/BOOT8 için aynı descriptor üzerinde 115200 8N1 immutable raw UART10 capture ve strict validator PASS gerekir.",
      "G8a yalnız CPU1 CPU_ON/shared-root/mailbox smoke'udur; CPU1 GIC/timer/scheduler, IPI, migration, CPU2/CPU3 ve hotplug kapsam dışıdır.",
    ],
  },