RPi5 G6 güvenli DT/RAM + 8 MiB heap fiziksel BOOT6 PASS verdi

  {
    id: "rpi5-g6-physical-boot6-pass",
    date: "2026-08-20",
    sequence: 24,
    status: "passed",
    title: "RPi5 G6 güvenli DT/RAM + 8 MiB heap fiziksel BOOT6 PASS verdi",
    summary:
      "5630758c…f26b G6 paketi gerçek Raspberry Pi 5'te Debug Probe UART10 ile çalıştırıldı. Runtime DTB'den iki RAM, dört reserved ve bir CMA aralığı bulundu; 4 KiB eşlenmemiş guard sonrasında seçilen 8 MiB heap, dar sayfa sözleşmesi ve Box smoke fiziksel olarak doğrulandı. BOOT6 sonrasında SEC1–SEC78 boyunca 7.800 tick kesintisiz ilerledi.",
    evidence: [
      "Dondurulan /tmp/aselsanos-g6-physical.1xHa9L/screenlog.0 kaydı 12.780 bayt ve 265 satırdır; SHA-256 değeri 275dc5b609b8f21e8c848742691c64ed159c3c926129a787b9b5dc6511586ec1 olarak sabitlendi.",
      "BOOT0, BOOT1 CurrentEL=2, BOOT2, BOOT3, RAM0, RAM1, BOOT4, GIC0, TIMER0, IRQ0, BOOT5 ve BOOT6 marker'ları sırasıyla 138/139/140/151/160/161/178/183/184/185/187/188. satırlarda ve tam birer kez görüldü.",
      "RAM0 çalışma anındaki DTB'yi 0x2efec500, boyutu 0x13a9e olarak ölçtü; RAM=2, RESERVED=4 ve CMA=1 sayımları fiziksel firmware DTB'sinden geldi.",
      "RAM1, 0x10c4000–0x10c5000 aralığında tek 4 KiB guard sayfasını ve 0x10c5000–0x18c5000 aralığında tam 0x800000 bayt heap'i doğruladı.",
      "PAGE doğrulamasında guard adresi 0x10c4000 ve VA 0 için L3 invalid görüldü. Heap 2.048 sayfayla LockedHeap olarak etkinleşti; ASELSAN/BOOT6 DT+RAM+HEAP=OK BOX=0xa5a51234 marker'ı üretildi.",
      "Önceki GIC/timer kapısı aynı kayıtta GIC0, TIMER0, IRQ0 INTID=27 ve BOOT5 ticks=100 ile korundu. SEC1–SEC78 arası kesintisizdi; ticks her satırda saniye×100 eşitliğini sağladı, gap/mismatch=0, drift bütün örneklerde +0 µs ve count artışı 7–11 aralığındaydı.",
      "RAMERR, GICERR, TIMERERR, panic, abort, unknown/unhandled IRQ, overflow, FATAL ve [EXC] taramalarının her biri sıfır sonuç verdi.",
      "Kernel öncesi firmware bölümünde cmdline.txt eksik ve BSC A/B no ACK mesajları görüldü; firmware buna rağmen OS yükleme/transferini tamamladı ve BOOT0–BOOT6 zinciri ilerledi. Bunlar G6 kernel hatası olarak sınıflandırılmadı.",
    ],
    commands: [
      "shasum -a 256 /tmp/aselsanos-g6-physical.1xHa9L/screenlog.0",
      "UART marker order + uniqueness audit",
      "SEC1..SEC78 sequence/tick/drift/count audit",
      "kernel error marker scan",
    ],
    limitations: [
      "UART logu imaj SHA-256 değerini kendisi basmaz; 5630758c…f26b artefact bağı sıra 23'teki kart 3/3/cmp doğrulaması ve kartın yazma ile boot arasında değiştirilmediği fiziksel chain-of-custody kaydına dayanır.",
      "SEC1–SEC78 yaklaşık 78 saniyelik laboratuvar smoke kanıtıdır; uzun süreli soak, farklı güç/sıcaklık koşulları veya SPI yolu test edilmedi.",
      "G6 tek çekirdekli erken runtime DT/RAM/MMU/heap sınırını kapatır. Scheduler, userspace ve SMP bu imajda çalıştırılmadı; bunlar sıradaki G7 kapısıdır.",
    ],
  },