RPi5 G5 hedefli GIC-400 + timer kanıt paketi hazırlandı

verify: verify-core verify-web

  {
    id: "rpi5-g5-gic-timer-package-staged",
    date: "2026-08-20",
    sequence: 17,
    status: "partial",
    title: "RPi5 G5 hedefli GIC-400 + timer kanıt paketi hazırlandı",
    summary:
      "Fiziksel BOOT4 sınırının üstüne, BCM2712 GIC-400'de yalnız PPI27 sanal timer kesmesini açan allocation-free G5 kanıt yolu eklendi. Yeni imaj ve üç dosyalı manifest üretildi; paket henüz microSD'ye yazılmadığı ve gerçek Pi 5 UART10 kaydı alınmadığı için G5 açık tutuluyor.",
    evidence: [
      "GICD 0x10_7fff_9000 için 0x1000 ve GICC 0x10_7fff_a000 için 0x2000 DEVICE identity map'i RPi5 MMU kurulumuna eklendi.",
      "GIC başlatma yolu yalnız virtual timer PPI27'yi hedefliyor; pending state temizleniyor, öncelik 0x80 yapılıyor ve enable readback'i başarısızsa kernel GICERR ile fail-closed WFI'a giriyor.",
      "Timer CNTFRQ ve hesaplanan period sıfırsa etkinleştirilmiyor; başarı yolunda GIC0, TIMER0, ilk IRQ için IRQ0 INTID=27 ve 100 tick sonunda BOOT5 GIC+TIMER=OK marker'ları artefact içinde doğrulandı.",
      "RPi5 kanıt yolu IRQ'da scheduler_tick çağırmıyor; genel heap, allocator, scheduler ve userspace'e geçiş özellikle kapalı bırakıldı çünkü güvenli DTB RAM/reserved-memory keşfi henüz tamamlanmadı.",
      "RPi5 ve RPi4 board build'leri ile QEMU runtime regresyonu geçti; QEMU'nun mevcut genel GIC/timer davranışı korundu.",
      "Yeni staged aselsanos-rpi5.img SHA-256 değeri 83cbc10aceed566d406090ebed6bda07a44db54fbc58d37bd6b7215f3de3cdda; DTB ve config ile birlikte manifest 3/3 OK verdi.",
    ],
    commands: [
      "make verify",
      "make image-rpi5",
      "cd build/rpi5 && shasum -a 256 -c SHA256SUMS",
    ],
    limitations: [
      "83cbc10a…cdda hash'li G5 test paketi henüz fiziksel microSD'ye yazılmadı; kartta fiziksel BOOT4 kanıtı alınan 7745dc81…eb5f artefact'ı bulunuyor.",
      "GIC0, TIMER0, IRQ0 ve BOOT5 marker'ları gerçek UART10 kaydında henüz gözlenmedi; G5 fiziksel PASS değildir.",
      "Bu dilim scheduler, userspace, SMP veya genel heap kanıtı değildir; güvenli RAM keşfi tamamlanmadan bu yollar RPi5'te açılmayacak.",
    ],
  },