RPi5 G6 güvenli DT/RAM + 8 MiB heap paketi hazırlandı

verify: verify-core verify-web

  {
    id: "rpi5-g6-safe-memory-package-staged",
    date: "2026-08-20",
    sequence: 21,
    status: "partial",
    title: "RPi5 G6 güvenli DT/RAM + 8 MiB heap paketi hazırlandı",
    summary:
      "Allocation-free runtime FDT bellek planlayıcısı, daraltılmış RPi5 MMU sözleşmesi ve 8 MiB heap/Box smoke yolu tamamlandı. Kod, test ve 3/3 paket doğrulaması geçti; yeni G6 paketi henüz microSD'ye yazılmadığı ve gerçek UART10 BOOT6 kaydı alınmadığı için kapı fiziksel olarak açık tutuluyor.",
    evidence: [
      "FDT planlayıcısı /memory, memreserve ve /reserved-memory içindeki sabit/dinamik CMA alloc-ranges verilerini allocation yapmadan ayrıştırıyor; ATF, kernel, çalışma anındaki DTB ve reserved/CMA aralıklarını heap adaylarından çıkarıyor.",
      "Seçilen sözleşme bir 4 KiB unmapped guard sayfası ile tam 8 MiB heap ayırıyor; RPi5 MMU yalnız kernel bölümleri, seçilmiş heap, UART10 ve GIC MMIO aralıklarını doğru izinlerle identity-map ediyor.",
      "PAGE_CONTRACT; text/rodata/data/bss/stack/heap/UART/GIC izinlerini ve null, ATF kuyruğu, guard, DTB ile CMA aralıklarının unmapped kalmasını doğruladı.",
      "Rust testleri 18/18 geçti; pointer overflow, disabled reserved node, cell/ranges sözleşmesi, kernel-in-RAM ve sıfır allocation pointer/byte parity negatif ve pozitif vakaları kapsandı.",
      "Tam make verify; QEMU runtime smoke ile QEMU, RPi4 ve RPi5 kernel/image kapılarını geçti. G6 paketindeki 127152 bayt aselsanos-rpi5.img SHA-256 değeri 5630758ce0006080aa9396247305db301f1d2782dbafaab08e352c4756b3f26b; sabitlenmiş DTB/config hash'leri değişmedi ve manifest 3/3 OK verdi.",
      "Sabitlenmiş paket DTB'si için plan RAM 0x0..0x28000000, CMA 0x24000000..0x28000000, guard 0x10c4000..0x10c5000 ve heap 0x10c5000..0x18c5000 olarak hesaplandı.",
    ],
    commands: [
      "make verify",
      "make image-rpi5",
      "cd build/rpi5 && shasum -a 256 -c SHA256SUMS",
    ],
    limitations: [
      "5630758c…f26b G6 paketi henüz fiziksel microSD'ye yazılmadı; kartta G5 fiziksel PASS veren 83cbc10a…cdda paketi bulunuyor.",
      "RAM0, RAM1 ve BOOT6 DT+RAM+HEAP=OK marker'ları gerçek Raspberry Pi 5 UART10 kaydında henüz gözlenmedi; G6 fiziksel PASS değildir.",
      "Sabitlenmiş build DTB'siyle hesaplanan aralıklar statik paket kanıtıdır; boot firmware'inin çalışma anında x0 ile verdiği gerçek DTB yeniden ayrıştırılıp UART'ta doğrulanacaktır.",
      "Scheduler, userspace ve SMP bu G6 fiziksel kapısı kapanana kadar RPi5 yolunda kapalıdır.",
    ],
  },