RPi5 GIC-400 + virtual timer fiziksel BOOT5 PASS verdi

  {
    id: "rpi5-g5-physical-boot5-pass",
    date: "2026-08-20",
    sequence: 19,
    status: "passed",
    title: "RPi5 GIC-400 + virtual timer fiziksel BOOT5 PASS verdi",
    summary:
      "83cbc10a…cdda G5 paketi gerçek Raspberry Pi 5'te Debug Probe UART10 ile çalıştırıldı. BOOT0–BOOT4 zincirinin ardından hedefli BCM2712 GIC-400/PPI27 yolu, virtual timer kesmesi ve 100 tick BOOT5 kapısı geçti; SEC1–SEC147 boyunca 14.700 tick kesintisiz ilerledi ve ölçülen drift +0 µs kaldı.",
    evidence: [
      "Aynı fiziksel UART10 kaydı BOOT0 BCM2712, BOOT1 CurrentEL=2, BOOT2 EL1, BOOT3 DTB=OK ve BOOT4 MMU=ON marker'larını sırayla verdi.",
      "GIC0 kaydı GICD=0x107fff9000, GICC=0x107fffa000, TYPER=0x0000fc69, IIDR=0x0200143b ve NS_PPI27_ENABLED=1 ölçümlerini verdi.",
      "TIMER0 kaydı CNTFRQ=54000000, PPI=27 ve PERIOD=540000 değerlerini verdi; ilk kesme IRQ0 INTID=27 olarak alındı.",
      "100 tick sonunda ASELSAN/BOOT5 GIC+TIMER=OK ticks=100 marker'ı gözlendi; BOOT0–BOOT5 ile GIC0, TIMER0 ve IRQ0 kanıt marker'larının her biri kayıtta tam bir kez bulundu.",
      "SEC1–SEC147 dizisi boşluksuz ilerledi; 14.700 tick boyunca sequence gap=0, tick mismatch=0 ve integer drift +0 µs olarak doğrulandı.",
      "UART kaydında panic, FATAL, data/instruction abort, GICERR, TIMERERR veya unknown IRQ görülmedi.",
      "Ham UART logunun SHA-256 değeri 4feec3b4ff01d3dca0d3818d10c499532e26a160d4ce25d1d0b621aa1742b861 olarak sabitlendi.",
    ],
    commands: [
      "screen -L /dev/cu.usbmodem214402 115200",
      "UART marker tekilliği, SEC sequence/tick/drift ve yasaklı hata marker taraması",
    ],
    limitations: [
      "Bu PASS tek çekirdekli allocation-free GIC/PPI27 + timer kanıtıdır; scheduler, userspace, SMP veya genel heap çalıştırılmadı.",
      "Sıradaki G6 kapısı DTB memory/reserved-memory verisinden güvenli RAM seçimini ve çakışmasız heap kanıtını gerektirir.",
      "UART logu imaj SHA-256 değerini kendisi basmaz; 83cbc10a…cdda artefact bağı, önceki kart 3/3 doğrulaması ile kartın yazma ve boot arasında değiştirilmediği chain-of-custody varsayımına dayanır.",
      "Uzun süreli kayıt laboratuvar smoke kapsamındadır; farklı yük, sıcaklık ve güç koşullarında dayanıklılık testi değildir.",
    ],
  },