RPi5 G5 GIC + timer paketi microSD'ye yazıldı ve doğrulandı

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-g5-microsd-flash-verified",
    date: "2026-08-20",
    sequence: 18,
    status: "verified",
    title: "RPi5 G5 GIC + timer paketi microSD'ye yazıldı ve doğrulandı",
    summary:
      "83cbc10a…cdda hash'li hedefli BCM2712 GIC-400/PPI27 timer paketi, kimliği fail-closed kontrollerden geçen 62,5 GB microSD'ye yazıldı. Karttaki dört boot dosyası build kaynaklarıyla byte-for-byte, SHA-256 manifesti de 3/3 doğrulandı; kart sync sonrasında güvenle çıkarıldı.",
    evidence: [
      "/dev/disk4; 62,5 GB çıkarılabilir Secure Digital whole-disk, doğru parent disk, MBR/FAT32 ASELSANBOOT ve /Volumes/ASELSANBOOT eşleşmesiyle yazma öncesi kimlik kapılarından geçti.",
      "Yazma öncesinde karttaki fiziksel BOOT4 artefact'ının 7745dc810e468c313863dc9494dd546c4e7e81f90a3b089786dc9d84b8cbeb5f hash'li eski manifesti 3/3 OK verdi.",
      "make flash-rpi5, staged aselsanos-rpi5.img dosyasını 83cbc10aceed566d406090ebed6bda07a44db54fbc58d37bd6b7215f3de3cdda SHA-256 değeriyle karta kopyaladı.",
      "Karttaki aselsanos-rpi5.img, bcm2712-rpi-5-b.dtb, config.txt ve SHA256SUMS dosyalarının dördü build/rpi5 kaynaklarıyla byte-for-byte eşleşti.",
      "Kart üzerinde shasum -a 256 -c SHA256SUMS yeniden çalıştırıldı; imaj, DTB ve config için 3/3 OK alındı.",
      "Dosya sistemi sync edildi ve diskutil eject /dev/disk4 başarıyla tamamlandı.",
    ],
    commands: [
      "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",
      "cd /Volumes/ASELSANBOOT && shasum -a 256 -c SHA256SUMS",
      "diskutil eject /dev/disk4",
    ],
    limitations: [
      "Kart henüz bu G5 paketiyle Raspberry Pi 5'te çalıştırılmadı; GIC0, TIMER0, IRQ0 INTID=27 ve BOOT5 GIC+TIMER=OK fiziksel UART10 kaydı bekleniyor.",
      "Bu doğrulama kart yazımı ve dosya bütünlüğü kanıtıdır; BCM2712 GIC/timer fiziksel PASS değildir.",
      "Scheduler, userspace, SMP ve genel heap bu dar G5 testinin kapsamında değildir.",
    ],
  },