RPi5 düzeltilmiş imajla BOOT4 MMU=ON fiziksel PASS verdi

flash-rpi5: image-rpi5 verify-sd-volume-rpi5
	cp "$(RPI5_IMG)" "$(SD_MOUNT)/aselsanos-rpi5.img"
	cp "$(RPI5_PACKAGE_DTB)" "$(SD_MOUNT)/bcm2712-rpi-5-b.dtb"
	cp "$(RPI5_PACKAGE_CONFIG)" "$(SD_MOUNT)/config.txt"
	cp "$(RPI5_SUMS)" "$(SD_MOUNT)/SHA256SUMS"
	@cd "$(SD_MOUNT)" && shasum -a 256 -c SHA256SUMS
	sync
	@echo ""
	@echo "✅ Kart kökü:"
	@ls -lh "$(SD_MOUNT)/aselsanos-rpi5.img" "$(SD_MOUNT)/bcm2712-rpi-5-b.dtb" \
		"$(SD_MOUNT)/config.txt" "$(SD_MOUNT)/SHA256SUMS"
	@echo ""
	@echo "Şimdi: kartı güvenle çıkar, Pi 5'e tak, Debug Probe UART10, 27W güç."
	@echo "Beklenen terminal: ASELSAN/BOOT0 BCM2712 … ASELSAN/BOOT8F HANDOFF=POST_BOOT8E SOURCE=CPU0 TARGET=CPU1"
	@echo "Başarılı UART'ta G8FERR, panic ve unknown IRQ bulunmamalı."

  {
    id: "rpi5-physical-boot4-pass",
    date: "2026-08-20",
    sequence: 16,
    status: "passed",
    title: "RPi5 düzeltilmiş imajla BOOT4 MMU=ON fiziksel PASS verdi",
    summary:
      "0x80000 linker/config sözleşmeli paket microSD'ye yeniden yazıldı ve gerçek Raspberry Pi 5'te Debug Probe UART10 ile yeniden çalıştırıldı. Firmware imajı doğrudan 0x80000'a yükledi; kernel BOOT0–BOOT4 zincirini tamamlayıp MMU'yu etkinleştirdi.",
    evidence: [
      "Karttaki aselsanos-rpi5.img SHA-256 değeri 7745dc810e468c313863dc9494dd546c4e7e81f90a3b089786dc9d84b8cbeb5f olarak build ile eşleşti; imaj, DTB ve 501 baytlık config.txt byte-for-byte aynıydı ve manifest 3/3 OK verdi.",
      "Firmware kaydı headersız aselsanos-rpi5.img payload'ını bu kez yeniden taşıma olmadan doğrudan 0x80000 ofsetine yükledi.",
      "Fiziksel UART10 kaydı ASELSAN/BOOT0 BCM2712, ASELSAN/BOOT1 CurrentEL=2, ASELSAN/BOOT2 EL1 ve ASELSAN/BOOT3 DTB=OK satırlarını sırayla verdi.",
      "Erken vektör ve linker bölgeleri doğru runtime adreslerindeydi: VBAR=0x80800; text 0x80000..0x8d000, bss 0x97000..0x10ab000 ve stack_top=0x10bb000.",
      "Low RAM ve 40-bit UART10 identity mapping kontrolleri geçti; MMU etkinleştirildi ve ASELSAN/BOOT4 MMU=ON satırı gözlendi.",
      "Önceki 'Early page table pool exhausted (M2.4.2)' panic'i aynı fiziksel retestte tekrarlanmadı.",
      "Doğrulama sonrasında microSD sync edildi ve aygıt güvenle çıkarıldı.",
    ],
    commands: [
      "make flash-rpi5 SD_DISK=/dev/disk4 SD_MOUNT=/Volumes/ASELSANBOOT",
      "cd /Volumes/ASELSANBOOT && shasum -a 256 -c SHA256SUMS",
      "screen /dev/cu.usbmodem214402 115200",
      "diskutil eject /dev/disk4",
    ],
    limitations: [
      "Bu fiziksel BOOT4 artefact'ı BOOT4'ten sonra bilinçli olarak WFI döngüsünde bekler; bu sessizlik hata değildir.",
      "Bu kayıtta BCM2712 GIC, timer, scheduler ve userspace fiziksel olarak çalıştırılmadı; daha sonra hazırlanan hedefli GIC/timer paketi sıra 17'de ayrı tutulur.",
      "Hash ve byte eşleşmesi bütünlük kanıtıdır; imzalı boot veya kaynak authenticity garantisi değildir.",
    ],
  },