Sıfırdan yazdığımız microkernel’i Pi 5’e bir uygulama gibi kurmayız. ELF’i Pi firmware’ine verilecek düz AArch64 payload’a çevirir, FAT32 boot bölümüne koyar ve kartın EEPROM firmware’ine RAM’e yükletiriz.
İlk dört ürün boot ve UART kanıtı için zorunludur. Active Cooler kısa bir açılış denemesi için şart değildir; sürekli testte alınması önerilir. Bağlantılar Türkiye’deki doğrudan ürün sayfalarına gider.
01ŞİMDİ ALSC1432 · BCM2712
AselsanOS’un çalışacağı hedef kart. Bare-metal boot için 4 GB yeterlidir; doğruladığımız Türkiye stoğu 8 GB varyantıdır.
02ŞİMDİ ALSC1152 · EU fiş · 5,1 V / 5 A
Pi 5’i düşük gerilim ve rastgele reset olmadan çalıştırır. Sıradan telefon adaptörü aynı 5 A profilini vermeyebilir.
03ŞİMDİ ALSC0889 · UART + SWD kablo seti
Pi 5’in üç pinli debug UART’ından firmware ve ilk kernel logunu bilgisayara taşır; ekranda görüntü beklemek yerine hatayı gösterir.
04ŞİMDİ ALKingston SDCG4/64GB · A2 / U3 / V30
FAT32 boot bölümünde config.txt, Pi 5 DTB’si ve AselsanOS imajını taşır. Türkiye’de stoklu, markalı A2 muadildir.
05ÖNERİLENSC1148 · blower fan + heatsink
İlk saniyelik boot için şart değildir; uzun derleme ve stres testlerinde sıcaklık kaynaklı hız düşmesini önlemek için güçlü biçimde önerilir.
Fiyat ve stok anlık değişebilir; sipariş vermeden önce ürün kodunu tekrar kontrol edin. Satıcılar bağımsız firmalardır ve bu projeyle ticari bağlantıları yoktur. Firma adresi fiziksel mağazadan teslim garantisi anlamına gelmez.
Ayrıntılı parça notlarını aç0x80000 linker/config sözleşmeli düzeltilmiş paket microSD'ye byte-for-byte yazıldı ve manifest 3/3 OK verdi. Gerçek Pi 5, Debug Probe UART10 kaydında BOOT0, CurrentEL=2, BOOT2, BOOT3 DTB=OK ve BOOT4 MMU=ON satırlarını üretti. Firmware headersız payload'ı yeniden taşımadan doğrudan 0x80000'a yükledi; VBAR, kernel bölgeleri ile low RAM/UART mapping kontrolleri geçti ve önceki erken tablo panic'i tekrarlanmadı. Ardından 83cbc10a…cdda paketindeki hedefli GIC-400 PPI27 + virtual timer yolu gerçek kartta çalıştı: GICD/GICC ve NS enable okundu, 54 MHz timer ilk INTID 27 kesmesini verdi ve BOOT5 ticks=100 görüldü. SEC1–SEC147 boyunca 14.700 tick boşluksuz ilerledi ve drift +0 µs kaldı; panic, abort veya unknown IRQ oluşmadı. G5 fiziksel olarak kapalıdır. Allocation-free FDT RAM/reserved/CMA planlayıcısı, dar MMU izinleri, 4 KiB guard ve tam 8 MiB heap/Box smoke yolu statik olarak doğrulandı. 127152 baytlık 5630758c…f26b G6 imajı doğru FAT32 microSD'ye yazıldı; imaj, DTB ve config manifesti 3/3, dört kart dosyası build/rpi5 ile byte-for-byte doğrulandı ve kart güvenle çıkarıldı. G6 paketi aynı gerçek Pi 5'te runtime DTB'yi 0x2efec500 olarak ölçtü; RAM=2, RESERVED=4 ve CMA=1 buldu. 0x10c4000–0x10c5000 guard sayfası ile VA 0 eşlenmemiş kaldı; 0x10c5000–0x18c5000 aralığında tam 8 MiB ve 2.048 sayfalık LockedHeap kuruldu. BOOT6 DT+RAM+HEAP=OK BOX=0xa5a51234 görüldü. SEC1–SEC78 boyunca 7.800 tick boşluksuz, mismatch olmadan ve drift +0 µs ilerledi; kernel hata taraması sıfırdır. G6 fiziksel olarak kapandı. Bunun üstüne yalnız CPU0'da iki EL1 kernel görevinin açık yield noktalarıyla A1→B1→A2→B2 sırasını doğrulayacak G7a yolu eklendi. 131264 baytlık 50a802e7…b266 paket manifest 3/3 ve tam doğrulama matrisinden geçti; fiziksel microSD'ye formatsız yazıldı, dört kart dosyası build/rpi5 ile byte-for-byte doğrulandı, sync edilip güvenle çıkarıldı. Aynı kartın temiz UART10 kaydında CPU=0 MODE=COOP TASKS=2 FPEN=3, A1→B1→A2→B2 ve START_TICKS=102 değerinden tam 100 tick sonra BOOT7 SCHED=OK ORDER=ABAB STEPS=4 TICKS=202görüldü. SEC1–SEC52 boşluksuz ve drift +0 µs ilerledi; kernel hata taraması sıfırdır. G7a fiziksel olarak kapandı. Bu kanıt yalnız CPU0'daki iki EL1 kernel görevinin açık yield smoke'udur; IRQ preemption, EL0 ve SMP kanıtı değildir. İki 64 KiB kernel stack toplam 128 KiB sınırlı leak olarak kalır. Bunun üstüne bütün DTB usable aralıklarını 40 bölgelik kapasite ve 40-bit adres sınırıyla fail-closed alan G7b monotonic PMM yolu eklendi. Yalnız bir 4 KiB probe frame exact KERNEL_DATA identity map'iyle açılıyor; üç u64 noktası volatile write/read ve G7B0 sonrasındaki BASE_TICKS'ten en az 100 tick ilerleme sözleşmesiyle sınanıyor. İlk 140432 baytlık 7f0ba2b9…1720e2 paket 52/52 simülasyon, tam make verify, manifest 3/3 ve kartta dört cmp doğrulamasından geçti. Fakat gerçek Pi 5 denemesi BOOT3 ile RAM0/RAM1 sonrasında, BOOT4'ten önce RPI5_PMM.lock içindekiLDAXRB exclusive erişiminde EL1 data abort verdi:ESR=0x96000410 ELR=0x88e80. BOOT4/G7B0/BOOT7B oluşmadı; strict validator exit 1 verdi ve güç kesildi. PMM artık pre-MMU ordinary stack state olarak hazırlanıyor; global mutex publish SCTLR_EL1 + final ISB ve BOOT4 sonrasına taşındı. Disassembly kapısı MMU enable öncesindeki exclusive atomikleri reddediyor. Düzeltilmiş 140432 baytlık c065bbd7…db5f paket mevcut FAT32 düzen korunarak fiziksel microSD'ye reflash edildi; 3/3 manifest ve dört build cmp'i geçti, sync edilip güvenle çıkarıldı. Yeni gerçek UART10 kaydında BOOT0–BOOT7B on altı marker exact-once/sırada geçti; G7B0 RANGES=3 TOTAL_FRAMES=2073380 ALLOC=1 FRAME=0x18c8000 KERNEL_DATA RW/EXCLUDED OK REMAINING=2073379 ve BOOT7B BASE_TICKS=203 TICKS=303 verdi. Canonical 20339 bayt akış strict PASS; SEC1–SEC213 boşluksuz, mismatch/drift ve forbidden marker sıfırdır. G7b fiziksel olarak kapandı. Kanıt tek boot ve tek-frame/24 B RW smoke'udur; exhaustion/free/reuse, bütün RAM, EL0, preemption ve SMP kapsam dışıdır. Bunun üstüne exact trusted ELF, üç yeni PMM frame'i, kernel NOUSER izinleri, U-RX/U-R-NX/U-RW-NX sayfalar, 44 talimatlık sanitized first-ERET, bounded WRITE, exact EXIT, teardown ve EL1h timer monitor sözleşmeli G7c yolu eklendi. G7c hedef testleri 16/16, workspace 68/68, üç board build'i, QEMU runtime smoke ve RPi5 makine-kodu/layout kapısı geçti. 226448 baytlık 276d568b…a99d0 paket exact SD/FAT32 karta formatsız yazıldı; 3/3 manifest, dört cmp, sync ve eject geçti. Same-descriptor 115200 UART10 capture exact 12436 B veef2f6758…610a3 hash'iyle donduruldu. Raw dosya doğrudan strict validator'dan PASS aldı: G7C0 üç frame ve kernel/alias sözleşmesini, ayrı EL0 hello, G7C1 exact WRITE, G7C2 exact EXIT/EL1h teardown ve BOOT7C BASE_TICKS=305 TICKS=405 ile tam 100 tick ilerlemeyi doğruladı. SEC1–SEC36 boşluksuz, mismatch/drift ve forbidden marker sıfırdır. G7c fiziksel PASS'tir. Bunun üstündeki G7d yolu PPI27 ile iki sabit 64 KiB EL1 stack'i arasında tam integer exception frame'i yönlendiriyor. Exact dört switch A→B→A→B→A, resume-progress, canary ve EL1h monitor dönüşü kaynak/strict fixture/makine-kodu kapılarıyla sınırlandı. G7d hedefleri 16/16, workspace 84/84, üç board build'i, QEMU smoke ve manifest 3/3 geçti. 230560 bayt 0927d195…39f9 paket exact Secure Digital/FAT32 karta format çağrılmadan yazıldı; kart manifesti 3/3, dört cmp, sync/eject ve aygıt yokluğu doğrulaması geçti. İlk fiziksel capture yedi leading NUL ile strict sınırda reddedildi. İkinci değişmemiş 11909 bayt1993361c…26bf2 raw aynı descriptor 115200 8N1 capture'da doğrudan strict PASS verdi. G7D0 START_TICKS=405, switch tick'leri 416/426/436/446, iki görevin resume-progress'i, CANARY=OK, RETURN=MONITOR ve BOOT7D BASE_TICKS=405 TICKS=505 fiziksel olarak doğrulandı. SEC1–SEC13 boşluksuz ve forbidden marker sıfırdır. G7d dar fiziksel PASS'tir. Bunun üstündeki G8a yolu runtime DTB'de exact PSCI-1.0/SMC ve dört BCM2712 CPU topolojisini doğrular; CPU0 yalnız MPIDR 0x100 CPU1'i CPU_ON64 ile EL2/EL1 uyumlu trampoline'a açar. CPU1 shared TTBR0, MMU/cache, VBAR, FP=TRAP, IRQ=MASKED ve coherent mailbox handshake sonrasında WFE parkında kalır. G8 hedef testleri 18/18, workspace 102/102, QEMU/üç-board, disassembly ve manifest 3/3 geçti. 242848 bayt dca4ab20…ae863 paket exact Secure Digital/FAT32 karta format atmadan yazıldı; kart manifesti 3/3, dört cmp, sync/eject ve aygıt yokluğu kapıları geçti. Değişmemiş 12154 bayt 1f4b0e34…21f67 gerçek UART10 raw strict PASS verdi: PSCI 1.1, ENTRY=0x801f8, gerçek CPU1 MPIDR=0x100, shared TTBR0/coherent mailbox ve BOOT8 506→600. NUL 2/2, CRLF 226 ve forbidden marker sıfırdır. G8a dar fiziksel PASS'tir. Bunun üstündeki G8b paketi CPU1'in yalnız banked GICv2 CPU interface'ini ve PPI27 virtual-timer one-shot yolunu açar. Local timer disable, raw EOI, exactly-once delivery ve IRQ maskeli EL1h WFE dönüşü; global CPU0 timer/TICKS'ten önce ayrılan handler ile fail-closed donduruldu. G8b hedefleri 14/14, workspace 116/116, QEMU/üç-board, disassembly, 3/3 manifest ve artefaktsız yeniden üretim kapıları geçti. 246960 baytdc241315…fb44a8a paket exact 62549655552 bayt Secure Digital/FAT32 karta format atmadan yazıldı; 3/3 manifest, dört cmp, sync/eject ve aygıt yokluğu geçti. İlk 12761 bayt UART10 capture 22 leading NUL nedeniyle fail-closed reddedildi ve PASS'e katılmadı. İkinci değişmemiş 12743 baytf40d5379…09718 raw strict validator'dan doğrudan PASS aldı. G8B0 PMR=0xf0/BPR=3/START_TICKS=601; G8B1 INTID=27, DELIVERIES=1, TIMER_CTL=OFF, IRQ=MASKED, RETURN=EL1H ve TICK=607; ilişkili SEC7 ardından BOOT8B BASE_TICKS=601 TICKS=700 verdi. Bağımsız audit fired delta=2700020, lateness=20, SEC gap/mismatch ve forbidden marker sıfırını doğruladı. G8b dar fiziksel PASS'tir. Bunun üstündeki G8c, yalnız CPU1'e sabitlenmiş tek statik EL1 task'ı gerçek 64 KiB stack'te tam bir kez çalıştırıp RUNS=1, PROGRESS=3, CANARY=OK ve STACK_RESTORE=OK ile IRQ-maskeli local idle/WFE yoluna döndürür. G8c hedefleri 15/15, workspace 131/131, QEMU/üç-board, x19 tabanlı gerçek SP switch/restore disassembly kapısı, 3/3 manifest ve iki artefaktsız yeniden üretim PASS verdi. 255168 bayt 2950ca3c…c8538 paket exact Secure Digital/FAT32 karta format çağrılmadan yazıldı; 3/3 manifest, dört cmp, sync/eject ve aygıt yokluğu geçti. Güç öncesi timeout olan ilk 1 baytlık capture reddedildi. İkinci temiz güç döngüsündeki değişmemiş 13408 bayt04158260…e0db raw strict PASS verdi: G8C0 START_TICKS=701; gerçek CPU1'de G8C1 RUNS=1 PROGRESS=3, STACK_SP=0xd0000, CANARY/STACK_RESTORE=OK ve LOCAL_IDLE dönüşü; SEC8 ardından BOOT8C BASE_TICKS=701 TICKS=800. G8c dar fiziksel PASS'tir. Bunun üstündeki G8d yalnız CPU0'dan CPU1'e explicit target list 0x02 ile tek SGI1, CPU1'de INTID/source doğrulaması, ham acknowledge=EOI, IRQ-maskeli EL1h dönüşü ve mevcut G8c pinned-task'ının mevcut 64 KiB stack'te tek wake/run yoludur. İlk 263408 bayt 6d9c556f…a46922 paket exact karta yazıldı. İlk fiziksel capture SD algılama döngüsünde kaldı; kart yeniden takılınca değişmemiş 13532 bayt54f500ad…a713 raw BOOT8C 701→800 ve G8D0 START_TICKS=802 sonrasında G8DERR TIMER_STATE ACTUAL=0x1 verdi. G8D1/G8D2/BOOT8D oluşmadı. CPU0 final yolunun kendi periyodik timer'ını CPU1 timer durumu sanması düzeltildi: CPU1 timer-off değerini Release ile yayımlar, CPU0 Acquire ile doğrular ve primary machine code'da CNTV_CTL_EL0 okuması yasaktır. Düzeltme 17/17 hedef, workspace 148/148, QEMU/üç-board, disassembly, manifest 3/3 ve üç yönlü exact yeniden üretim PASS verdi. Yeni 263408 bayt fa08cec0…47dd4c paket exact karta formatsız yazıldı; bağımsız manifest 3/3, dört cmp, iki sync, holder-free güvenli eject ve aygıt yokluğu PASS verdi. Güçten önce arm edilen same-descriptor UART10 yolundaki değişmemiş 14301 bayt e1c43c7d…49c1d raw G8D0/G8D1/G8D2/ BOOT8D zincirinde strict PASS verdi. ACK_RAW=EOI_RAW=0x1, exactly-once delivery/ack/EOI/reschedule, STACK_SP=0xd2000, BASE_TICKS=802 ve TICKS=900 fiziksel olarak doğrulandı. G8d dar fiziksel PASS'tir. Bunun üstündeki G8e, tamamlanmış G8d round 1'i değiştirmeden aynı SGI1 kanalında yalnız bir ek CPU0→CPU1 send/delivery/ack/EOI/reschedule ve mevcut PINNED0 task'ın ikinci wake/run turunu sınar. G8e hedefleri 19/19, workspace tarihsel tam matrisi 168/168, QEMU/üç-board, G8–G8e makine-kodu 5/5, manifest 3/3 ve üç artefaktsız üretim PASS verdi. 275792 baytd9419ff5…f00c paket exact karta formatsız yazıldı; dört cmp, iki sync ve güvenli eject ile bağlandı. Güçten önce arm edilen same-descriptor UART10 yolundaki değişmemiş 15762 baytc9909dea…51f4d raw 0444 olarak kapandı. G8E0/G8E1/ G8E2/BOOT8E exact-once; prior/new/total sayaçları 1/1/2, SGIR=0x00020001, ACK_RAW=EOI_RAW=0x1, GAP_TICKS=100, STACK_SP=0xd5000, pending/active 0→0 ve BOOT8E 902→1000 strict PASS verdi. Bu dar kanıt generic SMP scheduler, migration, TLB shootdown, CPU2/3, hotplug veya soak iddiası değildir. Sıra 76'daki 279936 bayt 316be86f…0f21 G8f paketi exact Secure Digital/FAT32 karta format atmadan yazıldı; kart manifesti 3/3, dört cmp, sync/eject ile doğrulandı. Sıra 77'deki transport-invalid kayıt firmware PASS/FAIL sonucu değildir; sıra 78 ve 79 raw'ları sırasıyla 24 ve 17 leading NUL ile fail-closed reddedildi. Bu üç kayıt değişmemiş 17363 bayte70e…5068 kabul raw'ıyla birleştirilmedi. Mode 0444 raw doğrudan strict validator'dan exit 0 aldı: leading/total NUL=1/1, maximum=5, 50 marker canonical sırada ve G8F0/G8F1/ BOOT8F exact-once. BOOT8E 1000→release 1004→ack 1004→BOOT8F 1005; release/ack/proof delta 4/0/1 iken bütün yeni IRQ, SGI, reschedule, wake, task ve GIC write sayaçları sıfır kaldı. Bu yalnız post-BOOT8E quiescent atomic handoff smoke'udur.
Bunlar temsilî çizim veya yapay görsel değildir. Fotoğraflar aşağıda adı yazan gerçek ürünlere aittir; her kartta hem fotoğraf kaynağı hem de üreticinin teknik sayfası bulunur.
01BOOT İÇİNBCM2712 · 4 GB veya 8 GB
EEPROM firmware’i microSD’deki AselsanOS imajını bunun RAM’ine yükler.
02BOOT İÇİN32 GB · C10 / U3 / V30 / A2
FAT32 kökünde config.txt, Pi 5 DTB’si, kernel imajı ve hash dosyasını taşır.
03BOOT İÇİNUSB ↔ 3.3 V UART · JST-SH 3-pin
Firmware ve kernelin ilk 115200 8N1 seri çıktılarını bilgisayara getirir.
04BOOT İÇİNUSB-C PD · 5,1 V / 5 A
Pi 5’in boot sırasında düşük gerilime düşmeden kararlı çalışmasını sağlar.
05ÖNERİLENResmî fanlı alüminyum soğutucu
Uzun derleme/bring-up denemelerinde sıcaklık kaynaklı hız düşmesini önler.
Gücü en son ver. Debug Probe’un USB ucu bilgisayara, üç pinli U kablosu Pi 5’e gider.
Pi 5’te BIOS yerine kart üzerindeki bootloader/firmware vardır. Biz yalnızca işletim sistemi payload’ını sık değiştiririz.
BCM2712 açılır ve ikinci aşama bootloader’ı SPI EEPROM’dan çalıştırır.
Pi 5’in bootloader ve erken firmware katmanı kartın üzerindedir; bunu her build’de yazmayız.
Firmware config.txt, BCM2712 DTB ve seçtiğimiz AselsanOS imajını okur.
Firmware’in varsayılan stub’ı düşük seviye hazırlığı yapar; x0 üzerinden DTB sözleşmesi korunur.
_start, EL2→EL1 geçişi, sayfa tabloları ve UART10 ile ilk kanıt satırını üretir.
Güvenli laboratuvar kuralı: İlk denemelerde SPI EEPROM’u güncelleme. Ayrı bir microSD kullan; kartı çıkarınca Pi 5 eski durumuna döner.
Son boot/runtime PASS S92 BOOT8G ve scope CPU1_PER_CPU_TIMER_ONLY olarak korunur. S100 immutable package STAGED+VERIFIED, S119 storage/media PASS'tir. S120 placement, S121 host hazırlığı ve S122 VERIFIED same-descriptor UART pre-arm tarihsel olarak korunur. S123'te helper BOOT8H/grace/durable close verdi; immutable raw 22512 B / 0076cd00…0f85 mode0444 kapandı, fakat strict wrapper exact bir kez çağrılıp leading NUL 23 > maximum 5 nedeniyle exit1 verdi. Capture snapshot power_off_at_validator_close=0 olarak korunur; ayrı USER-REPORTED closeout post_S123_closeout_power_off=1 ve lifecycle power_on/off=1/1 kaydeder. Current power state USER-REPORTED POWERED OFF, independently_observed=false; event-local power_on/UART/helper/disk/raw_access/validator/archive/promotion=0 ve raw reread/reverify yoktur. Fiziksel BOOT8H PASS yoktur; S124 archive/promotion ve GENERIC_SMP_RUNTIME STOP'tur.
Cargo feature, BCM2712 board katmanını ve Pi 5'e özgü sabitleri seçiyor; kernel-rpi5 build'i geçiyor.
Fiziksel logda firmware'in headersız payload'ı 0x0008_0000'a taşıdığı ölçüldü; linker entry ve config kernel_address=0x80000 olarak aynı sözleşmeye getirildi.
Güncel amendment: S123 capture BOOT8H/grace/durable-close yolunu tamamladı; immutable 22512 B / 0076cd00…0f85 raw, identity-pinned strict wrapper'ın exact tek çağrısında leading NUL 23 > maximum 5 nedeniyle exit1 ile reddedildi ve bu red immutable tarihçe olarak korundu. S123 öncesi son boot/runtime PASS S92 BOOT8G / CPU1_PER_CPU_TIMER_ONLY'dir. S124 uart_2ndstage=0 aday paketiyle yeni tek fiziksel denemeyi 20270 B raw, 12/12 validator, 60/60 milestone, PHYSICAL_BOOT8H=PASS ve ARCHIVE/PROMOTION=PASS ile kapattı. Power-on/off kullanıcı bildirimi, UART/raw/kart kapanışları host gözlemidir; independently_observed=false. Aşağıdaki zincirin sonundaki `S123 next` ifadesi tarihsel S122 pre-power snapshot'ıdır. Düz ARM64 imajı, sabitlenmiş Pi 5 DTB'si ve config.txt birlikte üretiliyor. Tarihsel G7b data-abort ve c065bbd7…db5f düzeltme zinciri korunurken G7c ve G7d paketleri exact Secure Digital/FAT32 kartta fiziksel PASS verdi. 242848 bayt / dca4ab20…ae863 G8a paketi de aynı karta formatsız yazılıp BOOT8 fiziksel PASS verdi. 246960 bayt / dc241315…fb44a8a G8b paketi aynı exact karta formatsız yazıldı; ikinci immutable UART10 capture G8B0/G8B1/BOOT8B fiziksel PASS verdi. 255168 bayt / 2950ca3c…c8538 G8c paketi de ikinci temiz güç döngüsündeki 13408 bayt / 04158260…e0db immutable UART10 raw ile G8C0/G8C1/BOOT8C fiziksel PASS verdi. Karttaki ilk 263408 bayt / 6d9c556f…a46922 G8d paketi fiziksel denemede G8D0 sonrasında G8DERR TIMER_STATE 0x1 ile reddedildi. Wrong-core timer readback düzeltmeli 263408 bayt / fa08cec0…47dd4c paket 17/17 hedef, workspace 148/148, makine-kodu, 3/3 manifest ve üç yönlü exact yeniden üretim kapılarından geçti; exact karta formatsız yazılıp 3/3, dört cmp, iki sync, güvenli eject ve aygıt yokluğu ile doğrulandı. Güçten önce arm edilen same-descriptor UART10 yolundaki immutable 14301 bayt / e1c43c7d…49c1d raw strict validator ve bağımsız audit'te G8D0/G8D1/G8D2/BOOT8D fiziksel PASS verdi. Bunun üstündeki 275792 bayt / d9419ff5…f00c G8e paket 19/19 hedef, workspace 168/168, beş RPi5 makine-kodu kapısı, manifest 3/3 ve üç yönlü exact yeniden üretimden sonra aynı karta formatsız yazılıp dört cmp, iki sync ve güvenli eject ile bağlandı. Güçten önce arm edilen aynı descriptor yolundaki immutable 15762 bayt / c9909dea…51f4d raw, G8d round 1'i değiştirmeden yalnız bir yeni aynı-kanal SGI1 turunu G8E0/G8E1/G8E2/BOOT8E fiziksel PASS ile kapattı. 279936 bayt / 316be86f…0f21 G8f paket sıra 76'da exact karta formatsız yazıldı ve manifest 3/3, dört cmp, sync/eject ile doğrulandı. Değişmemiş 17363 bayt / e70e…5068 raw mode 0444 kapandı ve direct validator PASS verdi; Sıra 77–79 capture'ları reddedildi ve bu kabul raw'ıyla birleştirilmedi. G8F0/G8F1/BOOT8F exact-once, 50 marker canonical sırada ve BOOT8F TICKS=1005 ile fiziksel PASS verdi. Sıra 89 G8g-aware 292256 bayt / 985fbe10…3c747 package'i exact4 mode-0444 olarak dondurdu; Sıra 90'da aynı karta formatsız yazılıp read-back cmp/hash 4/4, iki sync ve eject ile doğrulandı. Sıra 92'de tek power-on ile kapanan 18978 B / 4abf8bb1…1a2 raw mode 0444, aggregate ve direct validatorlarda G8G0/G8G1/G8G2/BOOT8G fiziksel PASS verdi. S119 S100 exact4 için storage/media PASS'tir. S120 yalnız USER-REPORTED / NOT INDEPENDENTLY OBSERVED powered-off card placement kaydıdır; kart takıldıktan sonra re-read yoktur. S121 host-only capture/raw hazırlığı 6/24/6 + 8/5 ve canonical 12/60/57 PASS verdi; physical=NO kaldı. S122 gerçek UART pre-arm fresh 3+3 örnek ve PID4516 capture_armed=YES ile VERIFIED; raw açık/değişebilir 1 B 00 mode0600'dır, POWER=0 ve BOOT8H yoktur. S123 exact power/capture next.
Debug Probe UART10 kaydında BOOT0 BCM2712, CurrentEL=2, BOOT2 EL1 ve BOOT3 DTB=OK gerçek Pi 5 üzerinde gözlendi.
0x80000 düzeltmeli paketle VBAR, kernel bölgeleri, low RAM ve UART identity map'leri doğrulandı; MMU etkinleşti ve BOOT4 MMU=ON gerçek Pi 5'te gözlendi.
Gerçek UART10 kaydında GICD/GICC kimliği, NS PPI27 enable, CNTFRQ=54 MHz, IRQ0 INTID=27 ve BOOT5 ticks=100 doğrulandı; SEC1–SEC147 boyunca 14.700 tick boşluksuz, tick uyuşmazlığı olmadan ve drift +0 µs ilerledi; hata marker'ı yok.
Gerçek UART10 kaydında runtime DTB 0x2efec500, RAM=2, RESERVED=4 ve CMA=1 ölçüldü. 0x10c4000–0x10c5000 guard eşlenmedi; 0x10c5000–0x18c5000 aralığında tam 8 MiB LockedHeap kuruldu ve BOOT6 DT+RAM+HEAP=OK BOX=0xa5a51234 görüldü. SEC1–SEC78 boyunca 7.800 tick boşluksuz, mismatch olmadan ve drift +0 µs ilerledi.
Gerçek UART10 kaydında CPU=0, MODE=COOP, TASKS=2 ve FPEN=3 başlangıcı; açık yield noktalarında A1→B1→A2→B2 sırası ve start_ticks=102 değerinden tam 100 tick sonra BOOT7 SCHED=OK ORDER=ABAB STEPS=4 TICKS=202 doğrulandı. Bu PASS yalnız CPU0'daki iki EL1 kernel görevinin kooperatif smoke kanıtıdır; IRQ preemption, EL0 ve SMP kapsam dışıdır. İki 64 KiB kernel stack toplam 128 KiB sınırlı leak bırakır; lifecycle/deallocation ve guard izolasyonu kanıtlanmaz.
İlk G7b fiziksel denemesi BOOT3 ve RAM0/RAM1 sonrasında, BOOT4 öncesinde RPI5_PMM.lock LDAXRB exclusive erişiminde EL1 data abort verdi; strict validator exit 1 aldı. Pre-MMU publish sırası düzeltildi ve c065bbd7…db5f paket 3/3 + dört cmp ile karta bağlandı. Yeni gerçek UART10 kaydında 16 marker BOOT0–BOOT7B exact-once/sırada geçti; G7B0 RANGES=3 TOTAL_FRAMES=2073380 ALLOC=1 FRAME=0x18c8000 KERNEL_DATA RW/EXCLUDED OK REMAINING=2073379 ve BOOT7B BASE_TICKS=203 TICKS=303 verdi. Canonical 20339 B akış strict PASS'tir. Bu dar kanıt tek boot, tek frame smoke'udur; exhaustion/free/reuse, EL0, preemption ve SMP kapsam dışıdır.
226448 baytlık 276d568b…a99d0 paket 3/3 + dört cmp ile karta bağlandı. Değişmemiş 12436 B / ef2f6758…610a3 raw UART10 kaydı strict validator'dan doğrudan PASS aldı: G7C0 üç yeni frame'i ve KERNEL=NOUSER/alias izinlerini, ayrı EL0 hello satırını, exact G7C1 WRITE ile G7C2 EXIT/EL1h teardown'ı ve BOOT7C BASE_TICKS=305 TICKS=405 ile 100 tick timer ilerlemesini kanıtladı. SEC1–SEC36 boşluksuz, mismatch/drift ve forbidden marker sıfırdır. Bu yalnız CPU0/shared-root/ASID0 exact trusted-ELF smoke'udur; genel process/ABI, PMM lifecycle, preemption ve SMP değildir.
230560 baytlık 0927d195…39f9 paket host 16/16, workspace 84/84 ve exact kart 3/3 + dört cmp kapılarını geçti. İlk 11911 B raw, yedi leading NUL nedeniyle strict sınırda reddedildi. İkinci değişmemiş 11909 B / 1993361c…26bf2 raw aynı descriptor 115200 8N1 capture'da strict PASS verdi: G7D0 CPU=0 MODE=PREEMPT IRQ=PPI27 CTX=GPR31+ELR+SPSR+SP START_TICKS=405, exact A→B→A→B→A switch tick'leri 416/426/436/446, A ve B resume-progress'i, CANARY=OK, RETURN=MONITOR ve BOOT7D BASE_TICKS=405 TICKS=505 fiziksel olarak doğrulandı. Bağımsız audit 31 sıralı kabul olayı, SEC1–SEC13 gap/mismatch=0, drift +0 µs ve forbidden marker=0 verdi. Bu yalnız CPU0, iki sabit 64 KiB EL1 stack, integer frame ve dört-switch smoke'udur; FP/SIMD, genel scheduler/EL0 preemption, soak ve SMP kapsam dışıdır.
242848 baytlık dca4ab20…ae863 paket exact karta 3/3 + dört cmp ile yazıldı. Değişmemiş 12154 B / 1f4b0e34…21f67 gerçek UART10 raw strict PASS verdi: G8S0 PSCI 1.1/SMC TARGET=0x100 ENTRY=0x801f8 START_TICKS=506; G8S1 gerçek CPU1 MPIDR=0x100, shared TTBR0, MMU/cache, VBAR, FP=TRAP, IRQ=MASKED, ONLINE=0x3 ve coherent mailbox handshake TICK=507; ilişkili SEC6 sonrasında BOOT8 CPU_ON/AFFINITY/SHARED_ROOT/COHERENCY/TIMER=OK BASE_TICKS=506 TICKS=600. NUL=2/2, CRLF=226, forbidden=0. Bu yalnız CPU1 CPU_ON/shared-root/mailbox smoke'udur; genel SMP değildir.
246960 baytlık dc241315…fb44a8a paket exact 62549655552 bayt Secure Digital/FAT32 karta formatsız yazılıp 3/3, dört cmp ve eject kapılarını geçti. İlk 12761 B capture 22 leading NUL nedeniyle reddedildi. İkinci değişmemiş 12743 B / f40d5379…09718 UART10 raw strict validator'dan doğrudan PASS aldı: G8B0 CPU1 banked GICv2 CPU interface/PPI27 one-shot'ı PMR=0xf0 BPR=3 START_TICKS=601 ile açtı; G8B1 INTID=27 DELIVERIES=1 TIMER_CTL=OFF IRQ=MASKED RETURN=EL1H TICK=607 verdi; ilişkili SEC7 sonrasında BOOT8B CPU1_IRQ=1 ONESHOT/MASKED=OK SCHED/MIGRATION/CPU2_3=OFF BASE_TICKS=601 TICKS=700 ile kapandı. Bağımsız audit timer fired delta=2700020, lateness=20, SEC gap/mismatch=0 ve forbidden=0 buldu. Bu yalnız CPU1_PPI_ONLY smoke'udur; scheduler runqueue, migration, IPI, TLB shootdown, CPU2/3, hotplug ve EL0-on-CPU1 kapsam dışıdır.
255168 baytlık 2950ca3c…c8538 paket exact 62549655552 bayt Secure Digital/FAT32 karta formatsız yazılıp 3/3, dört cmp ve eject kapılarını geçti. Güç öncesi timeout olan ilk 1 B capture reddedildi. İkinci temiz güç döngüsündeki değişmemiş 13408 B / 04158260…e0db UART10 raw strict validator'dan doğrudan PASS aldı: BOOT8B 700 sonrasında G8C0 CPU=0 TARGET=CPU1 POLICY=PINNED_LOCAL START_TICKS=701; G8C1 gerçek CPU1 MPIDR=0x100 üzerinde TASK=PINNED0 RUNS=1 PROGRESS=3 STACK_SP=0xd0000 CANARY/STACK_RESTORE=OK RETURN=LOCAL_IDLE IRQ=MASKED TIMER=OFF TICK=701 verdi; ilişkili SEC8 ardından BOOT8C CPU1_LOCAL_TASK_ONLY BASE_TICKS=701 TICKS=800 ile kapandı. NUL=2/2, CRLF=235, SEC1–SEC11 gap/mismatch=0 ve forbidden=0. Bu yalnız tek statik EL1 task/gerçek 64 KiB stack/local-idle smoke'udur; migration, IPI, TLB shootdown, load balancing, EL0-on-CPU1 ve CPU2/CPU3 kapalı kalır.
Fiziksel BOOT8C sınırının üstünde CPU0 explicit TARGET_LIST=0x02 ve GICD_SGIR=0x00020001 ile yalnız CPU1'e tek SGI1 yollar. İlk 263408 B / 6d9c556f…a46922 paketle alınan immutable 13532 B / 54f500ad…a713 raw G8D0 sonrasında G8DERR TIMER_STATE EXPECTED=0x0 ACTUAL=0x1 verdi; CPU0'ın kendi CNTV_CTL_EL0 durumunu CPU1 kanıtı sanan yol düzeltildi. CPU1 artık kendi timer-off değerini Release ile yayımlar, CPU0 Acquire ile doğrular; primary machine code'da timer MRS yasaklandı. Düzeltmeli 263408 B / fa08cec0…47dd4c paket 17/17 hedef, workspace 148/148, QEMU/üç-board, disassembly, 3/3 manifest ve üç yönlü exact yeniden üretimden sonra exact 62549655552 bayt Secure Digital/FAT32 karta formatsız yazıldı; bağımsız manifest 3/3, dört cmp, iki sync, holder-free güvenli eject ve disk/mount yokluğu PASS verdi. Güçten önce arm edilen same-descriptor 115200 8N1 raw UART10 yolundaki değişmemiş 14301 B / e1c43c7d…49c1d capture strict validator'dan doğrudan PASS aldı: G8D0 TARGET_LIST=0x02 SENDS=1 START_TICKS=802; G8D1 CPU1 INTID=1 SOURCE_CPU=0 DELIVERIES/ACKS/EOIS/RESCHED=1 ACK_RAW=EOI_RAW=0x1 RETURN=EL1H IRQ=MASKED TIMER=OFF ve ham IAR acknowledge değerini EOIR'ye exact bir kez yazdı; G8D2 PINNED0 WAKEUPS=1 RUNS=1 PROGRESS=3 STACK_SP=0xd2000 CANARY/STACK_RESTORE=OK RETURN=LOCAL_IDLE; BOOT8D BASE_TICKS=802 TICKS=900 verdi. Byte audit NUL=3/3, CRLF=240, bare CR/LF=0/0, forbidden=0 ve SEC1–SEC12 gap/tick/drift mismatch=0 buldu. Bu yalnız tek CPU0→CPU1 SGI1 ve mevcut pinned-task wake smoke'udur; migration, load balancing, TLB shootdown, ASID/VMID koordinasyonu ve CPU2/CPU3 kapalı kalır.
G8d fiziksel round 1 immutable önkoşuldur. 275792 B / d9419ff5…f00c paket 19/19 hedef, workspace 168/168 tarihsel tam matris, QEMU/üç-board, G8–G8e makine-kodu 5/5, manifest 3/3 ve üç yönlü exact yeniden üretimden geçti; exact 62549655552 bayt Secure Digital/FAT32 karta formatsız yazılıp dört cmp, iki sync ve güvenli eject ile bağlandı. Güçten önce arm edilen same-descriptor 115200 8N1 raw UART10 yolundaki değişmemiş 15762 B / c9909dea…51f4d capture mode 0444 kapandı. Strict validator G8E0/G8E1/G8E2/BOOT8E exact-once kabul etti: G8E0 PRIOR_SENDS=1 NEW_SENDS=1 TOTAL_SENDS=2, SGIR=0x00020001, PRIOR_PENDING=0 PRIOR_ACTIVE=0, EOIMODE=DROP_DEACTIVATE ve GAP_TICKS=100; G8E1 prior/new/total delivery, ack, EOI ve reschedule sayaçlarını 1/1/2, ACK_RAW=EOI_RAW=0x1 ve TICK=902 verdi; G8E2 mevcut PINNED0 task'ı ikinci kez uyandırıp çalıştırdı, STACK_SP=0xd5000, SAME_STACK_REGION/CANARY/STACK_RESTORE=OK ve FINAL_PENDING=0 FINAL_ACTIVE=0 verdi; BOOT8E BASE_TICKS=902 TICKS=1000 ile kapandı. Bu yalnız aynı SGI1 kanalında bir ek CPU0→CPU1 delivery/ack/EOI/reschedule ve mevcut pinned task'ın ikinci wake/run smoke'udur; GENERIC_SMP=OFF kalır, migration, load balancing, TLB shootdown, ASID/VMID koordinasyonu, CPU2/CPU3, hotplug ve soak kapsam dışıdır.
G8e 15762 B / c9909dea…51f4d fiziksel sonucu immutable önkoşuldur. Sıra 76'da 279936 B / 316be86f…0f21 paket exact Secure Digital/FAT32 karta formatsız yazıldı; manifest 3/3, dört cmp, sync ve eject PASS verdi. Yeni güç döngüsündeki değişmemiş 17363 B / e70e…5068 direct raw mode 0444 kapandı ve direct validator exit 0 verdi: leading/total NUL=1/1, maximum 5; G8F0/G8F1/BOOT8F exact-once ve 50 marker canonical sırada kabul edildi. Sıra 77–79 transport-invalid veya leading-NUL-limitini aşan kayıtlar reddedildi ve kabul raw'ıyla birleştirilmedi. BOOT8E 1000→release 1004→ack 1004→BOOT8F 1005; release/ack/proof delta=4/0/1 ve release/ack generation=1/1 doğrulandı. new CPU1 IRQ/SGI/reschedule/wake/task/GIC write=0 kaldı. Bu PASS yalnız BOOT8E sonrası CPU0→CPU1 quiescent atomic handoff smoke'udur; SCOPE=QUIESCENT_ATOMIC_HANDOFF_ONLY ve immutable G8e korunur, generic SMP, migration, load balancing, TLB shootdown, CPU2/CPU3, hotplug ve soak kapsam dışıdır.
Immutable G8f/BOOT8F 17363 B / e70e…5068 raw ve tick 1005 önkoşuldur. Sıra 89 G8g-aware 292256 B / 985fbe10…3c747 package'i exact dört mode-0444 dosya olarak dondurdu; Sıra 90'da TISD64G karta formatsız yazılıp read-back cmp/hash 4/4, iki sync ve güvenli eject ile doğrulandı. Sıra 91'de actual same-descriptor 115200 8N1 raw capture arm edildi; kullanıcı onaylı tek power-on sonrasında helper BOOT8G terminal marker, üç saniye grace, durable close ve exit 0 verdi. Değişmemiş 18978 B / 4abf8bb1…1a2 raw mode 0444, nlink 1 olarak kapandı. Aggregate wrapper 11 validator ve 54 milestone ile PASS, direct G8g validator doğrudan PASS verdi. Framing NUL=5/5, non-leading NUL=0, UTF-8 PASS, CRLF=249, bare CR/LF=0/0; 54 marker occurrence / 51 distinct tag, G7S1=4, diğer marker exact 1 ve error=0'dır. CPU0 freq 54000000, period 540000, start 58348469, next-CVAL 601588469 ve ticks 1005 immutable kaldı. CPU1_START=608470774, first-CVAL=609010774; birinci IRQ fired 609010784 drift 10, ikinci IRQ fired 609550777 drift 3 ve her next-CVAL exact 540000 ilerledi. THIRD_CHECK_COUNT=610090774, THIRD_IRQ=NO; DELIVERIES/ACKS/EOIS=2/2/2, DEADLINE_ADVANCES=2, LOCAL_TICKS=2, ACK_RAW=EOI_RAW=0x1b ve FINAL_TIMER=OFF FINAL_IMASK=ON doğrulandı. Scheduler/task/heap/UART/SGI sıfır, migration/TLB shootdown/CPU2_3 OFF kaldı. Bu yalnız SCOPE=CPU1_PER_CPU_TIMER_ONLY fiziksel PASS'tir; Generic SMP, runqueue ownership, load balancing, ASID/VMID, hotplug ve soak kapsam dışıdır.
S122 same-descriptor UART pre-arm tarihsel olarak VERIFIED'dır. S123'te aynı helper BOOT8H terminal marker'ını gördü, üç saniyelik grace'i tamamladı fakat immutable raw 22512 B / 0076cd00…0f85, leading NUL 23 > maximum 5 nedeniyle strict wrapper tarafından fail-closed reddedildi; bu tarihsel red korunur. S124'te uart_2ndstage=0 aday paketiyle yeni tek deneme 20270 B raw'ı durable mode0444 kapattı; ASELSAN/BOOT8H occurrence=1, leading NUL=3, strict validators=12/12, milestones=60/60 ve ARCHIVE/PROMOTION=PASS oldu. Power-on/off kullanıcı bildirimi, UART/raw/kart kapanışları host gözlemüdür; independently_observed=false. Bu dar kabul G8h PHYSICAL_BOOT8H PASS'tir; Generic SMP, K1/K2/MEM0–MEM2 ve tam workspace GREEN kapsamı değildir.
make verify, manifest 3/3 ve dört kart dosyasının cmp doğrulamasından geçti. Dondurulmuş gerçek UART10 kaydı 12.335 bayt, 253 satır ve 42b30a5d…bfc6 hash'lidir. G7S0CPU=0 MODE=COOP TASKS=2 FPEN=3 START_TICKS=102, tekil A1/B1/A2/B2 zinciri ve BOOT7 SCHED=OK ORDER=ABAB STEPS=4 TICKS=202 doğrulandı. Validator delta=100 ve sec_samples=52 ile PASS verdi; manuel audit SEC1–SEC52 sürekliliğini ve hata marker'ı bulunmadığını doğruladı. G7a fiziksel PASS'tir. İddia CPU0 kooperatif EL1 smoke ile sınırlıdır; iki 64 KiB stack toplam 128 KiB sınırlı leak bırakır. IRQ preemption, EL0, SMP, stack lifecycle/guard izolasyonu, SPI ve uzun soak kanıtlanmadı. G7b yolu bütün usable planı fail-closed kabul eden 40 bölgeli allocator, tam bir 4 KiB allocation, exact KERNEL_DATA mapping, üç u64 volatile RW ve G7B0 sonrası en az 100 tick BOOT7B sözleşmesiyle hazırlandı. 140432 baytlık7f0ba2b9…1720e2 imaj 52/52 simülasyon, tam make verify ve manifest 3/3 doğrulamasından geçti. İlk 7f0ba2b9…1720e2 G7b paketi fiziksel microSD'ye formatsız yazılıp 3/3 + dört cmp doğrulandı; ancak gerçek kart BOOT3/RAM0/RAM1 sonrasında pre-MMU RPI5_PMM.lock LDAXRB yolunda data abort verdi. Dondurulan UART kaydı 7696 bayt / 172 satır ve ccff544c…0bea hash'lidir; strict validator exit 1 verdi. BOOT4/G7B0/BOOT7B oluşmadı. PMM publish SCTLR_EL1 + final ISB ve BOOT4 sonrasına taşındı; disassembly kapılı 140432 bayt c065bbd7…db5f düzeltme paketi fiziksel microSD'ye formatsız reflash edildi, 3/3 + dört cmp doğrulandı ve kart güvenle çıkarıldı. Yeni fiziksel UART10 kaydının immutable raw katmanı 20340 bayt / 417 LF ve 58fef84f…35c2a; güç kesme sonrası final NUL'u yalnız stdin slice'ta dışlayan 20339 bayt canonical katman4b974e37…a7c9 hash'iyle strict PASS verdi. BOOT0–BOOT7B on altı marker exact-once/sırada; G7B0 RANGES=3 TOTAL_FRAMES=2073380 ALLOC=1 FRAME=0x18c8000 KERNEL_DATA RW/EXCLUDED OK REMAINING=2073379 ve BOOT7B BASE_TICKS=203 TICKS=303 doğrulandı. SEC1–SEC213 boşluksuz; mismatch, drift ve forbidden marker sıfırdır. G7b fiziksel PASS'tir. Exhaustion, region traversal, free/reuse, zeroing, cache-PoC, DMA, ECC, soak, bütün RAM, EL0, preemption ve SMP kanıtlanmadı. G7c için exact trusted ELF ve iki SVC'li doğrudan CPU0 yolu host/build'de hazırlandı: 16/16 hedef testi, 68/68 workspace testi, QEMU smoke, üç board build'i, 44 talimatlık first-ERET makine-kodu denetimi ve 3/3 paket manifesti geçti. 226448 bayt 276d568b…a99d0 imaj karta formatsız yazıldı; dört cmp, sync ve eject PASS verdi. 12436 baytef2f6758…610a3 raw UART10 kaydı strict validator'da frames=[0x18de000,0x18df000,0x18e0000], remaining=2073355 ve timer_delta=100 verdi. G7C0/payload/G7C1/G7C2/SEC4/BOOT7C zinciri exact-once/sırada; SEC1–SEC36 boşluksuz ve forbidden marker sıfırdır. G7c dar fiziksel PASS'tir; genel process/ABI, allocator lifecycle, preemption ve SMP kanıtlanmaz. Bunun üstüne yalnız CPU0'da iki sabit 64 KiB EL1 stack, tam GPR31+ELR+SPSR+SP exception frame ve PPI27 ile exact dört involuntary switch kullanan G7d yolu eklendi. G7d hedef testleri 16/16, workspace 84/84, üç-board/QEMU, disassembly ve 3/3 manifest kapıları geçti. 230560 bayt 0927d195…39f9 paket exact karta formatsız yazıldı; 3/3 manifest, dört cmp, sync/eject ve aygıt yokluğu doğrulandı. İlk raw yedi leading NUL nedeniyle reddedildi; ikinci 11909 B 1993361c…26bf2 raw strict PASS verdi. G7D0 START_TICKS=405, dört switch 416/426/436/446, iki resume progress'i, CANARY=OK, RETURN=MONITOR ve BOOT7D 405→505 fiziksel olarak gözlendi. SEC1–SEC13 boşluksuz ve forbidden marker sıfırdır. G7d dar fiziksel PASS'tir; FP/SIMD, genel scheduler, EL0 preemption, lifecycle, soak ve SMP kanıtlanmaz. G8a için exact PSCI-1.0/SMC DTB, CPU1 CPU_ON64, EL2/EL1 trampoline, shared TTBR0 ve coherent mailbox yolu eklendi. 18/18 hedef testi, workspace 102/102, QEMU/üç-board, disassembly ve 3/3 manifest geçti; 242848 bayt dca4ab20…ae863 paket exact karta formatsız yazıldı; 3/3 manifest, dört cmp, sync/eject ve aygıt yokluğu geçti. Değişmemiş 12154 B 1f4b0e34…21f67 UART10 raw PSCI 1.1, gerçek CPU1 MPIDR=0x100/shared TTBR0/coherent mailbox ve BOOT8 506→600 zincirinde strict PASS verdi. G8a dar fiziksel PASS'tir. Yeni G8b yolu yalnız CPU1 banked GICv2 CPU interface ve PPI27 virtual-timer one-shot katılımını açar. G8b hedef testleri 14/14, workspace 116/116, QEMU/üç-board, RPi5 disassembly/izolasyon, manifest 3/3 ve temiz-kopya yeniden üretim kapılarını geçti. 246960 B dc241315…fb44a8a paket exact karta formatsız yazıldı; 3/3 manifest, dört cmp, sync/eject ve aygıt yokluğu geçti. Tarihsel fixture fiziksel UART değildir. İlk 12761 B capture 22 leading NUL nedeniyle reddedildi. İkinci değişmemiş 12743 B f40d5379…09718 raw G8B0/G8B1/SEC7/BOOT8B zincirinde strict PASS verdi. INTID 27 exactly-once, timer OFF, IRQ maskeli EL1h dönüşü, fired delta 2700020 ve BOOT8B 601→700 bağımsız audit ile doğrulandı. G8b dar fiziksel PASS'tir. G8c'de yalnız tek CPU1-pinned statik EL1 task, gerçek 64 KiB stack switch/restore, RUNS=1, PROGRESS=3, canary ve IRQ-maskeli local idle dönüşü kodlandı. G8c hedefleri 15/15, workspace 131/131, QEMU/üç-board, RPi5 disassembly/izolasyon, 3/3 manifest ve iki artefaktsız yeniden üretim kapısından geçti. 255168 B 2950ca3c…c8538 paket exact karta formatsız yazıldı; 3/3 manifest, dört cmp, sync/eject ve aygıt yokluğu geçti. İlk 1 B capture güç öncesi timeout nedeniyle reddedildi; ikinci temiz güç döngüsündeki değişmemiş 13408 B04158260…e0db raw G8C0/G8C1/SEC8/BOOT8C zincirinde strict PASS verdi. RUNS=1, PROGRESS=3, STACK_SP=0xd0000, CANARY/STACK_RESTORE=OK ve BOOT8C 701→800 fiziksel olarak doğrulandı. G8d'nin güçten önce arm edilen same-descriptor UART10 yolundaki 14301 B e1c43c7d…49c1d raw kaydı tek CPU0→CPU1 SGI1, exact raw acknowledge/EOI, pinned-task wake/run ve BOOT8D 802→900 zincirinde strict PASS verdi. G8e'nin güçten önce arm edilen aynı descriptor yolundaki 15762 Bc9909dea…51f4d raw kaydı aynı SGIR 0x00020001 kanalında yalnız bir yeni tur ekledi: prior/new/total=1/1/2, GAP_TICKS=100, pending/active 0→0, STACK_SP=0xd5000 ve BOOT8E 902→1000 strict PASS. Generic SMP, migration, TLB shootdown, CPU2/3 ve hotplug kapsam dışıdır. Fiziksel uygulama M8 gerçek donanım portu içinde izlenir.Aktif Makefile hedefi RPi5 feature’ını seçer, board’a özel target dizininde ELF üretir, entry adresini 0x0008_0000 olarak kontrol eder, düz imaja çevirir ve imaj + DTB + config manifestini doğrular.
# G8g per-CPU timer contract/runtime/layout/matrix zincirini doğrula.
make verify-rpi5-g8g-matrix
# Aggregate physical-raw validator source kapısını doğrula.
make verify-rpi5-g8g-physical-raw-source
# G8f BOOT8E sonrası quiescent atomic handoff sözleşmesini regresyonda koru.
make verify-rpi5-g8f-host
# Workspace, QEMU, RPi4 ve RPi5 gerileme kapılarını birlikte çalıştır.
make verify-core
# RPi5 imajını makine-kodu/layout kapısıyla yeniden üret.
make image-rpi5
# Kendi kendine yeterli paketi bağımsız yeniden doğrula.
cd build/rpi5
shasum -a 256 -c SHA256SUMS
# Beklenen: imaj, DTB ve config.txt için üç kez OK
# Aktif fiziksel G8g package: 292256 B · SHA-256 985fbe10…3c747 · exact4 mode0444
# Exact kart: S90 TISD64G · write/read-back cmp/hash 4/4 · iki sync/eject PASS
# Kabul edilen son UART10: 18978 B · 4abf8bb1…1a2 · strict BOOT8G PASS
# G8g: FİZİKSEL PASS · G8G0/G8G1/G8G2/BOOT8G · SCOPE=CPU1_PER_CPU_TIMER_ONLY
# Tarihsel G8f prerequisite build/rpi5: 279936 B · SHA-256 316be86f…0f21 · 3/3 OK
# Exact kart: G8f 316be86f…0f21 · sıra 76 · 3/3 + dört cmp + eject PASS
# Kabul edilen son UART10: 17363 B · e70e…5068 · direct strict BOOT8F PASS
# Aktif build/rpi5: 275792 B · SHA-256 d9419ff5…f00c · 3/3 OK · tarihsel G8e
# G8e hedef testleri: 19/19 · workspace: 168/168 · verify-core: PASS
# İki artefaktsız repo kopyası + ana build: exact aynı d9419ff5…f00c
# Exact kart: G8e d9419ff5…f00c · 3/3 + dört cmp + iki sync/eject PASS · tarihsel
# Kabul edilen son UART10: 15762 B · c9909dea…51f4d · strict BOOT8E PASS · tarihsel
# Tarihsel G8d tek CPU0→CPU1 SGI/reschedule sözleşmesini doğrula.
# Reddedilen G8d UART10: 13532 B · 54f500ad…a713 · G8D0 → G8DERR TIMER_STATE 0x1
# G8c: FİZİKSEL PASS · G8C0/G8C1/BOOT8C · 701→800
# G8d: FİZİKSEL PASS · G8D0/G8D1/G8D2/BOOT8D · 802→900
# G8e: FİZİKSEL PASS · G8E0/G8E1/G8E2/BOOT8E · 902→1000
# G8f: FİZİKSEL PASS · G8F0/G8F1/BOOT8F · 1000→1004→1004→1005Sembol, section ve debug bilgisini GDB/objdump için saklar. Firmware’e doğrudan verilmez.
Bootloader’ın RAM’e kopyalayacağı düz byte dizisidir; entry ve linker adresi aynı sözleşmeye uyar.
Pi 5 bir bölümü boot edilebilir saymak için kökte config.txt arar. İlk testte root filesystem, paket yöneticisi veya Linux kurulumu gerekmez. Repo, whole-disk ve harici Secure Digital kimliğini fail-closed kontrol eden format/flash hedefleri sağlar; aygıt yolu varsayılan değildir.
ASELSANBOOT/
├── config.txt
├── bcm2712-rpi-5-b.dtb
├── aselsanos-rpi5.img
└── SHA256SUMSYüklenecek kernel adını ve firmware UART logunu seçer.
Pi 5 donanım tanımıdır; adresi kernel’e x0 register’ında gelir.
Rust ELF’inden üretilmiş, imzasız ilk laboratuvar boot payload’ı.
İmaj, DTB ve config.txt üçlüsünün build çıktısıyla aynı olduğunu gösterir.
Pi 5 firmware’i EEPROM’da olduğu için bu minimal kartta bootcode.bin, start*.elf ve fixup*.dat gerekmez.
make format-sd-rpi5 SD_DISK=/dev/diskN seçilen kartın tamamını siler. Bu komut otomatik çalıştırılmaz; exact kart doğrulanmadan kullanılmaz.Özel dosya adı, Raspberry Pi OS kernelini yanlışlıkla ezmemizi engeller. Doğru Pi 5 DTB’sini kartta tuttuğumuz için firmware’in uyumluluk kontrolünü kapatmıyoruz.
[pi5]
# Özel dosya adı: Linux kernelinin üstüne yanlışlıkla yazma.
kernel=aselsanos-rpi5.img
# Headersız payload'ın fiziksel logla ölçülen final adresi.
arm_64bit=1
kernel_address=0x80000
# Pi firmware yükleme mesajlarını 3-pin debug UART'a gönder.
uart_2ndstage=1
# DTB uyumluluk kontrolünü açık bırakıyoruz.
# bcm2712-rpi-5-b.dtb boot bölümünün kökünde olmalı.
[all]RP1_CHIP_INFO 20001927 okudu, ancak Starting OS öncesindeki son PCI2 reset sonrasında kernel doğru root penceresinde 0x0001e080 gördü: PORT=1, data-link-active=0 ve PHY-link-up=0. External config, RP1 BAR, panel ve DSI yoluna geçilmedi; operatör ekranı simsiyah bildirdi. Aşağıdaki satır bu nedenle yalnız screen/touch build paketinin [pi5] bölümüne eklenir; yukarıdaki canonical genel config dondurulmuş kalır. Bu paketle yapılan attempt-04, root bus-number alanlarını primary=0, secondary=0, subordinate=0 okuyup INVALID_ROOT_BUS_NUMBERS ile fail-closed RED verdi.# Yalnız screen/touch paketinin [pi5] bölümünde:
# Firmware'in kurduğu RP1/PCIe2 durumunu bare-metal payload'a devret.
pciex4_reset=0958168 B / 0a7ce7a3…a3d04; paket config'i 581 B / a97e9e13…d8ff2 ve manifesti 5e71849b…1a8971. Paket exact TISD64G microSD'ye (serial 0x425001fa, /dev/disk6) yazıldı; kart readback'i build paketiyle byte-exact doğrulandı ve kart güvenle çıkarıldı. Attempt-04 boot edildi; 9716 B / 4a723280…f2536 UART raw, InvalidRootBusNumbers { primary: 0, secondary: 0, subordinate: 0 } ve SCREEN0=0 ile RED'dir. Koşu UART-only'dir; görünür ekran gözlemi yoktur. pciex4_reset=0 link, RP1 veya ekran PASS'i değildir.14e4:2712 type-1 kimliği ve aktif link ardından yalnız exact 0/0/0 bus tuple'ını transactional write/readback ile 0/1/1'e kurar. Yapısal olarak geçerli mevcut tuple write olmadan korunur; malformed/çelişkili tuple reddedilir. Acquire write/readback veya endpoint config/identity hatasında exact rollback hemen denenir; rollback hatası ve bus numaralarının programlı kalabilme durumu ayrıca raporlanır. Yalnız exact RP1 1de4:0001 type-0 kimliğinden sonra bus numaraları shared platform enumeration olarak commit edilir; screen shutdown root bus'ı yıkmaz. Yeni image 962264 B / 9947c5de…b14c0, aynı 581 B / a97e9e13…d8ff2 config ve 255 B / 1c4e82a3…1693b manifest taşır. İki bağımsız build byte-exact eştir ve her ikisi manifest 3/3 PASS verir. Bu candidate henüz freeze edilmedi, karta yazılmadı veya fiziksel koşuda boot edilmedi.enable_rp1_uart=1 ve pciex4_reset=0 gerekir. İlk bring-up için 3-pin debug UART daha kısa yoldur.Aygıt yolunu tahmin etme. flash-rpi5; whole-disk, harici SD, parent disk, FAT32, ASELSANBOOT adı ve yazılabilirlik eşleşmeden kopyalamayı reddeder; ardından manifestte bulunan üç dosyayı kart üzerinde yeniden doğrular.
# /dev/diskN tahmin edilmez; Disk İzlencesi ile exact kartı doğrula.
make check-sd-rpi5 SD_DISK=/dev/diskN
# ASELSANBOOT zaten FAT32 olarak bağlıysa paketi kopyala ve 3/3 doğrula.
make flash-rpi5 \
SD_DISK=/dev/diskN \
SD_MOUNT=/Volumes/ASELSANBOOT
# Yalnız gerektiğinde, veri sileceğini bilerek ayrı çalıştır:
# make format-sd-rpi5 SD_DISK=/dev/diskNG6 kaydı firmware yüklemesinden runtime DTB planına, eşlenmemiş guard ve 8 MiB LockedHeap'ten GIC/timer regresyonu ile Box smoke'a kadar G0–G6 zincirini kanıtladı.
# Port adı bilgisayara göre değişebilir.
picocom -b 115200 /dev/ttyACM0
# Alternatif
screen /dev/ttyACM0 115200İlk satır firmware’den, devamı bizim assembly/Rust boot yolumuzdan gelir. Her marker bir sonraki hata alanını daraltır.
[firmware] Loading 'aselsanos-rpi5.img' ... offset 0x80000
ASELSAN/BOOT0 BCM2712
ASELSAN/BOOT1 CurrentEL=2
ASELSAN/BOOT2 EL1
ASELSAN/BOOT3 DTB=OK
ASELSAN/RAM0 DTB=0x2efec500 SIZE=0x13a9e RAM=2 RESERVED=4 CMA=1
ASELSAN/RAM1 HEAP=0x10c5000-0x18c5000 SIZE=0x800000 GUARD=1 GUARD_RANGE=0x10c4000-0x10c5000
PAGE guard 0x10c4000: L3 invalid
PAGE VA 0: L3 invalid
ASELSAN/BOOT4 MMU=ON
[M2.5] 2048 sayfa rezerve edildi, LockedHeap aktif.
ASELSAN/GIC0 GICD=0x107fff9000 GICC=0x107fffa000 TYPER=0x0000fc69 IIDR=0x0200143b NS_PPI27_ENABLED=1
ASELSAN/TIMER0 CNTFRQ=54000000 PPI=27 PERIOD=540000
ASELSAN/IRQ0 INTID=27
[SEC 1] ticks=100 drift=+0 µs
ASELSAN/BOOT5 GIC+TIMER=OK ticks=100
ASELSAN/BOOT6 DT+RAM+HEAP=OK BOX=0xa5a51234
…
[SEC 78] ticks=7800 drift=+0 µsASELSAN/G7S0 CPU=0 MODE=COOP TASKS=2 FPEN=3 START_TICKS=102
ASELSAN/G7S1 TASK=A STEP=1
ASELSAN/G7S1 TASK=B STEP=1
ASELSAN/G7S1 TASK=A STEP=2
ASELSAN/G7S1 TASK=B STEP=2
[SEC 2] ticks=200 drift=+0 µs
ASELSAN/BOOT7 SCHED=OK ORDER=ABAB STEPS=4 TICKS=202
…
[SEC 52] ticks=5200 drift=+0 µs42b30a5d…bfc6 hash'iyle sabitlendi. G7a doğrulayıcısı start_ticks=102, end_ticks=202, delta 100 ve 52 SEC örneğiyle PASS verdi; exact marker tekilliği, SEC sürekliliği ve yasaklı hata taraması ayrıca manuel denetlendi. Sonuç yalnız CPU0'daki iki EL1 kernel görevinin açık yield ile ABAB geçişidir; IRQ preemption, EL0, SVC/exception smoke, SMP ve PMM kanıtı değildir; log BRK/SVC smoke testinin geçici atlandığını açıkça kaydeder. İki 64 KiB kernel stack toplam 128 KiB sınırlı leak bırakır; lifecycle/deallocation ve gerçek guard izolasyonu açık kalır. BOOT0 öncesindeki HAT algılanmadı,cmdline.txt/armstub8-2712.bin eksik ve BSC A/B no ACK satırları firmware chatter'ıdır; firmware 131264 baytlık imajı yükleyip OS'i başlatmış ve kernel BOOT0–BOOT7 zinciri tamamlanmıştır. UART hash'i imaj SHA'sını içermez; artefact bağı sıra 27 kart yazma/cmp kanıtına ve değişmeyen fiziksel zincire dayanır, imzalı release attestasyonu değildir.# Canonical fiziksel UART10 kanıtından exact G7b kabul satırları.
ASELSAN/G7B0 RANGES=3 TOTAL_FRAMES=2073380 ALLOC=1 FRAME=0x18c8000 MAP=KERNEL_DATA RW=OK EXCLUDED=OK REMAINING=2073379
ASELSAN/BOOT7B PMM=OK TIMER=OK ALLOC=1 BASE_TICKS=203 TICKS=303
# SEC1–SEC213 · TICKS=21300 · gap=0 · mismatch=0 · drift_us=0
# raw 20340 B / 417 LF / 58fef84f…35c2a
# canonical 20339 B / 4b974e37…a7c9 / strict PASS# Değişmemiş 12436 B / ef2f6758…610a3 fiziksel UART10 kaydından exact kabul satırları.
ASELSAN/G7C0 CPU=0 MODE=EL0 ROOT=SHARED ASID=0 ELF=TRUSTED PMM_ALLOC=3 TEXT=0x18de000 RODATA=0x18df000 STACK=0x18e0000 REMAINING=2073355 KERNEL=NOUSER LOAD_ALIAS=UNMAPPED COPY_ALIAS=RO_NX
Hello from separate EL0 binary (M8)!
ASELSAN/G7C1 SVC=WRITE ELR=0x44000018 FD=1 PTR=0x44001000 LEN=37 RET=37 COPYIN=OK
ASELSAN/G7C2 SVC=EXIT ELR=0x44000024 STATUS=0 WRITES=1 BYTES=37 RETURN=EL1H TEARDOWN=OK
[SEC 4] ticks=400 drift=+0 µs (+7 count)
ASELSAN/BOOT7C EL0=OK SVC_WRITE=OK SVC_EXIT=OK SWITCH=EL1H TIMER=OK MAPS=OK BASE_TICKS=305 TICKS=405
# Strict raw validator: frames=[0x18de000,0x18df000,0x18e0000] remaining=2073355 timer_delta=100
# SEC1–SEC36 · TICKS=3600 · gap=0 · mismatch=0 · drift=+0 µs · forbidden=0make verify-core PASS verdi. 226448 B276d568b…a99d0 paket 3/3 + dört cmp ile karta yazıldı. Same-descriptor 115200 capture'ın değişmemiş 12436 Bef2f6758…610a3 raw dosyası strict validator'dan doğrudan PASS aldı. G7C0'daki üç frame, ayrı EL0 payload, exact G7C1/G7C2, aradaki SEC4 ve BOOT7C 305→405 timer delta'sı fiziksel olarak gözlendi. SEC1–SEC36 boşluksuz ve forbidden marker sıfırdır. İddia yalnız CPU0/shared-root/ASID0, tek trusted ELF ve iki syscall smoke'udur; genel process/ABI, allocator lifecycle, preemption ve SMP değildir. G7d timer-preemption paketi ayrı bir fiziksel kayıtta 11909 B 1993361c…26bf2 raw ile strict BOOT7D PASS verdi; bu sonuç G7c'nin dar sınırlarını geçmişe dönük genişletmez.# GERÇEK RASPBERRY PI 5 UART10 · raw 11909 B · 1993361c…26bf2
ASELSAN/G7D0 CPU=0 MODE=PREEMPT IRQ=PPI27 TASKS=2 QUANTUM=10 STACKS=2x64K CTX=GPR31+ELR+SPSR+SP FP=UNUSED START_TICKS=405
ASELSAN/G7D1 FROM=A TO=B SWITCH=1 TICK=416 PROGRESS=4474576
ASELSAN/G7D2 FROM=B TO=A SWITCH=2 TICK=426 PROGRESS=4682996
ASELSAN/G7D3 FROM=A TO=B SWITCH=3 TICK=436 PROGRESS=9157601
ASELSAN/G7D4 FROM=B TO=A SWITCH=4 TICK=446 PROGRESS=9366022
[SEC 5] ticks=500 drift=+0 µs (+7 count)
ASELSAN/BOOT7D PREEMPT=OK IRQ=PPI27 ORDER=ABABA SWITCHES=4 QUANTUM=10 CTX=GPR31+ELR+SPSR+SP STACKS=STATIC64K CANARY=OK FP=UNUSED RETURN=MONITOR BASE_TICKS=405 TICKS=505
# Strict PASS · SEC1–SEC13 gap=0 mismatch=0 drift=+0 µs · forbidden=0make verify-core, QEMU smoke, üç board build'i ve makine-kodu kapısı PASS verdi. 230560 B 0927d195…39f9 paket exact Secure Digital/FAT32 karta formatsız yazıldı; 3/3 manifest, dört cmp, sync/eject ve aygıt yokluğu geçti. İlk 11911 B / 81d8…a202 raw yedi leading NUL nedeniyle reddedildi. İkinci değişmemiş 11909 B1993361c…26bf2 raw strict validator'dan doğrudan PASS aldı; 31 kabul olayı sıralı, SEC1–SEC13 gap/mismatch=0, drift +0 µs ve forbidden marker sıfırdır. Yalnız integer state, CPU0, iki EL1 task ve dört switch kapsamındadır; FP/SIMD, genel scheduler, EL0 preemption, lifecycle, fairness, soak ve SMP açık kalır.# GERÇEK RASPBERRY PI 5 UART10 · raw 12154 B · 1f4b0e34…21f67
ASELSAN/BOOT7D PREEMPT=OK IRQ=PPI27 ORDER=ABABA SWITCHES=4 QUANTUM=10 CTX=GPR31+ELR+SPSR+SP STACKS=STATIC64K CANARY=OK FP=UNUSED RETURN=MONITOR BASE_TICKS=405 TICKS=505
ASELSAN/G8S0 CPU=0 DT=PSCI-1.0 CONDUIT=SMC CPUS=4 TARGET=0x100 ENTRY=0x801f8 VERSION=1.1 FEATURE_CPU_ON64=OK AFFINITY_BEFORE=OFF START_TICKS=506
ASELSAN/G8S1 CPU=1 MPIDR=0x100 CONTEXT=0x4738435055310001 EL=1 MMU=ON CACHE=ON TTBR0=SHARED VBAR=OK FP=TRAP IRQ=MASKED ONLINE=0x3 MAILBOX=OK HANDSHAKE=1 PRIMARY_TICKS_SEEN=507 TICK=507
[SEC 6] ticks=600 drift=+0 µs (+7 count)
ASELSAN/BOOT8 PSCI=OK CPU_ON=OK SECONDARY=CPU1 AFFINITY=ON SHARED_ROOT=OK COHERENCY=OK TIMER=OK SCOPE=CPU1_ONLY BASE_TICKS=506 TICKS=600
# Strict G8 PASS · psci=1.1 · entry=0x801f8 · cpu1_tick=507 · timer_delta=94
# NUL=2/2 · CRLF=226 · forbidden=0 · independent audit PASSdca4ab20…ae863 paket manifesti 3/3 PASS verdi. Paket exact Secure Digital/FAT32 karta formatsız yazıldı; 3/3, dört cmp, sync/eject ve aygıt yokluğu kapıları geçti. Bu paneldeki marker'lar değişmemiş 12154 B / 1f4b0e34…21f67 gerçek UART10 raw kaydındandır. Strict validator PSCI 1.1, entry 0x801f8, CPU1 tick 507 ve timer delta 94 ile PASS verdi; bağımsız audit NUL 2/2, CRLF 226 ve forbidden=0 buldu. Kapsam yalnız CPU1 CPU_ON/shared-root/mailbox smoke'udur; per-CPU GIC/timer/scheduler, IPI, migration, CPU2/3 ve hotplug açık kalır.# SENTETİK STRICT-VALIDATOR FIXTURE · FİZİKSEL UART10 DEĞİLDİR
ASELSAN/G8B0 CPU=0 TARGET=CPU1 MPIDR=0x100 GICD=ON GICC=ON PPI=27 PPI_ENABLED=1 PMR=0xf8 BPR=2 MODE=ONESHOT DELAY_TICKS=5 SCHED=OFF START_TICKS=700
ASELSAN/G8B1 CPU=1 MPIDR=0x100 INTID=27 DELIVERIES=1 TIMER=ONESHOT TIMER_CTL=OFF IRQ=MASKED RETURN=EL1H SCHED=OFF PERIOD=540000 START_COUNT=378000000 DEADLINE=380700000 FIRED_COUNT=380700100 TICK=705
[SEC 8] ticks=800 drift=+0 us (+6 count)
ASELSAN/BOOT8B GIC=OK TIMER=OK CPU1_IRQ=1 INTID=27 ONESHOT=OK MASKED=OK SCHED=OFF MIGRATION=OFF CPU2_3=OFF SCOPE=CPU1_PPI_ONLY BASE_TICKS=700 TICKS=800
# Host validator: G8b PASS · intid=27 · deliveries=1 · timer_delta=100
# TARİHSEL STAGED KANIT · paket: 246960 B · dc241315…fb44a8a# GERÇEK RASPBERRY PI 5 UART10 · accepted raw 12743 B · f40d5379…09718
# İlk 12761 B / 3b62f9f9…d394b capture: leading NUL 22 > 5 · REDDEDİLDİ
ASELSAN/G8B0 CPU=0 TARGET=CPU1 MPIDR=0x100 GICD=ON GICC=ON PPI=27 PPI_ENABLED=1 PMR=0xf0 BPR=3 MODE=ONESHOT DELAY_TICKS=5 SCHED=OFF START_TICKS=601
ASELSAN/G8B1 CPU=1 MPIDR=0x100 INTID=27 DELIVERIES=1 TIMER=ONESHOT TIMER_CTL=OFF IRQ=MASKED RETURN=EL1H SCHED=OFF PERIOD=540000 START_COUNT=383830797 DEADLINE=386530797 FIRED_COUNT=386530817 TICK=607
[SEC 7] ticks=700 drift=+0 µs (+7 count)
ASELSAN/BOOT8B GIC=OK TIMER=OK CPU1_IRQ=1 INTID=27 ONESHOT=OK MASKED=OK SCHED=OFF MIGRATION=OFF CPU2_3=OFF SCOPE=CPU1_PPI_ONLY BASE_TICKS=601 TICKS=700
# Strict PASS · intid=27 · deliveries=1 · irq_tick=607 · timer_counts=2700020 · timer_delta=99
# NUL=4/4 · CRLF=231 · SEC1–SEC10 gap=0 mismatch=0 · forbidden=0 · independent audit PASS dc241315…fb44a8a paket exact Secure Digital/FAT32 karta formatsız yazıldı; 3/3, dört cmp, sync/eject ve aygıt yokluğu doğrulandı. İlk 12761 B raw 22 leading NUL nedeniyle reddedildi; kabul edilen değişmemiş 12743 B / f40d5379…09718 raw strict validator ve bağımsız byte/sıra/timer audit'inde PASS verdi. G8B1 INTID=27 DELIVERIES=1, fired delta 2700020 ve lateness 20; BOOT8B 601→700 gözlendi. Bu fiziksel sınır değişmeden korunur.# TARİHSEL SENTETİK STRICT-VALIDATOR FIXTURE · FİZİKSEL UART10 DEĞİLDİR
ASELSAN/G8C0 CPU=0 TARGET=CPU1 MPIDR=0x100 POLICY=PINNED_LOCAL TASKS=1 RUNQUEUE=STATIC1 STACK=STATIC64K IRQ=MASKED TIMER=OFF FP=TRAP MIGRATION=OFF IPI=OFF TLB_SHOOTDOWN=OFF CPU2_3=OFF START_TICKS=800
ASELSAN/G8C1 CPU=1 MPIDR=0x100 TASK=PINNED0 RUNS=1 PROGRESS=3 STACK_SP=0xcffd0 CANARY=OK STACK_RESTORE=OK RETURN=LOCAL_IDLE IRQ=MASKED TIMER=OFF EL=1 TPIDR=1 TICK=801
[SEC 9] ticks=900 drift=+0 us (+5 count)
ASELSAN/BOOT8C SCHED=LOCAL CPU1_TASK=1 RUNS=1 PROGRESS=3 STACK=STATIC64K CANARY=OK STACK_RESTORE=OK RETURN=IDLE IRQ=MASKED TIMER=OFF FP=TRAP MIGRATION=OFF IPI=OFF TLB_SHOOTDOWN=OFF CPU2_3=OFF SCOPE=CPU1_LOCAL_TASK_ONLY BASE_TICKS=800 TICKS=900
# Host: G8c hedef 15/15 · workspace 131/131 · verify-core PASS
# TARİHSEL STAGED KANIT · paket: 255168 B · 2950ca3c…c8538# GERÇEK RASPBERRY PI 5 UART10 · accepted raw 13408 B · 04158260…e0db
# İlk 1 B / 6e340b9c…afa01d capture: güç öncesi timeout · REDDEDİLDİ
ASELSAN/BOOT8B GIC=OK TIMER=OK CPU1_IRQ=1 INTID=27 ONESHOT=OK MASKED=OK SCHED=OFF MIGRATION=OFF CPU2_3=OFF SCOPE=CPU1_PPI_ONLY BASE_TICKS=601 TICKS=700
ASELSAN/G8C0 CPU=0 TARGET=CPU1 MPIDR=0x100 POLICY=PINNED_LOCAL TASKS=1 RUNQUEUE=STATIC1 STACK=STATIC64K IRQ=MASKED TIMER=OFF FP=TRAP MIGRATION=OFF IPI=OFF TLB_SHOOTDOWN=OFF CPU2_3=OFF START_TICKS=701
ASELSAN/G8C1 CPU=1 MPIDR=0x100 TASK=PINNED0 RUNS=1 PROGRESS=3 STACK_SP=0xd0000 CANARY=OK STACK_RESTORE=OK RETURN=LOCAL_IDLE IRQ=MASKED TIMER=OFF EL=1 TPIDR=1 TICK=701
[SEC 8] ticks=800 drift=+0 µs (+7 count)
ASELSAN/BOOT8C SCHED=LOCAL CPU1_TASK=1 RUNS=1 PROGRESS=3 STACK=STATIC64K CANARY=OK STACK_RESTORE=OK RETURN=IDLE IRQ=MASKED TIMER=OFF FP=TRAP MIGRATION=OFF IPI=OFF TLB_SHOOTDOWN=OFF CPU2_3=OFF SCOPE=CPU1_LOCAL_TASK_ONLY BASE_TICKS=701 TICKS=800
# Strict G8c PASS · cpu=1 · runs=1 · progress=3 · task_tick=701 · stack_sp=0xd0000 · timer_delta=99
# NUL=2/2 · CRLF=235 · SEC1–SEC11 gap=0 mismatch=0 · forbidden=0 · independent audit PASS0xd0000, canary ve özgün CPU1 SP restorasyonu doğrulandı. 255168 B 2950ca3c…c8538 paket exact karta formatsız yazılmış ve 3/3 + dört cmp ile bağlanmıştı. Güç öncesi timeout olan ilk 1 B raw reddedildi. İkinci temiz güç döngüsündeki değişmemiş 13408 B /04158260…e0db raw strict validator ve bağımsız byte/sıra/timer audit'inde PASS verdi; BOOT8B 700 → G8C0/G8C1 701 → SEC8/BOOT8C 800 zinciri exact-once oluştu. NUL 2/2, CRLF 235, SEC1–SEC11 gap/mismatch ve forbidden marker sıfırdır. Migration, IPI, TLB shootdown, CPU2/3, hotplug ve EL0-on-CPU1 kapsam dışıdır.# GERÇEK RASPBERRY PI 5 UART10 · accepted raw 14301 B · e1c43c7d…49c1d · mode 0444
# Önceki 13532 B / 54f500ad…a713 raw: G8D0 → G8DERR TIMER_STATE 0x1 · REDDEDİLDİ
ASELSAN/BOOT8C SCHED=LOCAL CPU1_TASK=1 RUNS=1 PROGRESS=3 STACK=STATIC64K CANARY=OK STACK_RESTORE=OK RETURN=IDLE IRQ=MASKED TIMER=OFF FP=TRAP MIGRATION=OFF IPI=OFF TLB_SHOOTDOWN=OFF CPU2_3=OFF SCOPE=CPU1_LOCAL_TASK_ONLY BASE_TICKS=701 TICKS=800
ASELSAN/G8D0 CPU=0 SOURCE=CPU0 TARGET=CPU1 MPIDR=0x100 SGI=1 TARGET_LIST=0x02 SENDS=1 GICD=ON GICC=ON SGI_ENABLED=1 PMR=0xf0 BPR=3 POLICY=RESCHED_ONLY MIGRATION=OFF TLB_SHOOTDOWN=OFF CPU2_3=OFF START_TICKS=802
ASELSAN/G8D1 CPU=1 MPIDR=0x100 INTID=1 SOURCE_CPU=0 DELIVERIES=1 ACKS=1 EOIS=1 ACK_RAW=0x1 EOI_RAW=0x1 RESCHED=1 RETURN=EL1H IRQ=MASKED TIMER=OFF TICK=802
ASELSAN/G8D2 CPU=1 MPIDR=0x100 TASK=PINNED0 WAKEUPS=1 RUNS=1 PROGRESS=3 STACK=REUSED_STATIC64K STACK_SP=0xd2000 CANARY=OK STACK_RESTORE=OK RETURN=LOCAL_IDLE IRQ=MASKED TIMER=OFF EL=1 TPIDR=1 TICK=802
[SEC 9] ticks=900 drift=+0 µs (+7 count)
ASELSAN/BOOT8D IPI=SGI1 CPU0_TO_CPU1=1 SENDS=1 DELIVERIES=1 ACKS=1 EOIS=1 RESCHED=1 TASK_WAKE=1 TASK_RUNS=1 TASK_PROGRESS=3 STACK=REUSED_STATIC64K RETURN=IDLE IRQ=MASKED TIMER=OFF MIGRATION=OFF TLB_SHOOTDOWN=OFF CPU2_3=OFF SCOPE=CPU1_RESCHED_WAKE_ONLY BASE_TICKS=802 TICKS=900
# Strict G8d PASS · sgi=1 · source_cpu=0 · target_cpu=1 · ack_raw=0x1 · task_tick=802 · stack_sp=0xd2000 · timer_delta=98
# NUL=3/3 · CRLF=240 · bare CR/LF=0/0 · SEC1–SEC12 gap/tick/drift mismatch=0 · forbidden=0 0x00020001 ile yalnız CPU1'i hedefler; CPU1 source CPU0'ı doğrular, ham IAR değerini EOIR'ye exact bir kez yazar, IRQ-maskeli EL1h'ye döner ve mevcut pinned task'ı mevcut static 64 KiB stack'te WAKEUPS=1/RUNS=1/PROGRESS=3 ile bir kez çalıştırır. Karttaki 6d9c556f…a46922 paket fiziksel G8D0 sonrasında TIMER_STATE 0x1 ile reddedildi. CPU0 wrong-core timer okumasını kaldıran düzeltme hedef 17/17, workspace 148/148, makine-kodu, manifest 3/3 ve üç yönlü exact yeniden üretimden geçti. 263408 B / fa08cec0…47dd4c paket exact karta formatsız yazılıp 3/3, dört cmp, iki sync ve güvenli eject kapılarını geçti. Güçten önce arm edilen same-descriptor 115200 8N1 raw capture değişmeden 14301 B / e1c43c7d…49c1d ve 0444 olarak kapandı. Strict validator G8D0/G8D1/G8D2/BOOT8D için PASS verdi; marker'lar exact-once, SEC1–SEC12 ve byte/framing audit'i hatasızdır. Bu dar kanıt genel SMP scheduler, migration veya CPU2/3 iddiası değildir.# GERÇEK RASPBERRY PI 5 UART10 · accepted raw 15762 B · c9909dea…51f4d · mode 0444
ASELSAN/BOOT8D IPI=SGI1 CPU0_TO_CPU1=1 SENDS=1 DELIVERIES=1 ACKS=1 EOIS=1 RESCHED=1 TASK_WAKE=1 TASK_RUNS=1 TASK_PROGRESS=3 STACK=REUSED_STATIC64K RETURN=IDLE IRQ=MASKED TIMER=OFF MIGRATION=OFF TLB_SHOOTDOWN=OFF CPU2_3=OFF SCOPE=CPU1_RESCHED_WAKE_ONLY BASE_TICKS=802 TICKS=900
ASELSAN/G8E0 CPU=0 ROUND1=G8D ROUND2=G8E SOURCE=CPU0 TARGET=CPU1 MPIDR=0x100 SGI=1 TARGET_LIST=0x02 SGIR=0x00020001 PRIOR_SENDS=1 NEW_SENDS=1 TOTAL_SENDS=2 REUSE=WITHOUT_REINIT PRIOR_PENDING=0 PRIOR_ACTIVE=0 EOIMODE=DROP_DEACTIVATE GAP_TICKS=100 START_TICKS=902 SEND_TICK=902 MIGRATION=OFF TLB_SHOOTDOWN=OFF CPU2_3=OFF
ASELSAN/G8E1 ROUND=2 CPU=1 MPIDR=0x100 INTID=1 SOURCE_CPU=0 PRIOR_DELIVERIES=1 NEW_DELIVERIES=1 TOTAL_DELIVERIES=2 PRIOR_ACKS=1 NEW_ACKS=1 TOTAL_ACKS=2 PRIOR_EOIS=1 NEW_EOIS=1 TOTAL_EOIS=2 ACK_RAW=0x1 EOI_RAW=0x1 PRIOR_RESCHED=1 NEW_RESCHED=1 TOTAL_RESCHED=2 RETURN=EL1H IRQ=MASKED TIMER=OFF TICK=902
ASELSAN/G8E2 ROUND=2 CPU=1 MPIDR=0x100 TASK=PINNED0 PRIOR_WAKEUPS=1 NEW_WAKEUPS=1 TOTAL_WAKEUPS=2 PRIOR_RUNS=1 NEW_RUNS=1 TOTAL_RUNS=2 PROGRESS=3 STACK=REUSED_STATIC64K STACK_SP=0xd5000 SAME_STACK_REGION=YES CANARY=OK STACK_RESTORE=OK FINAL_PENDING=0 FINAL_ACTIVE=0 RETURN=LOCAL_IDLE IRQ=MASKED TIMER=OFF EL=1 TPIDR=1 TICK=902
[SEC 10] ticks=1000 drift=+0 µs (+7 count)
ASELSAN/BOOT8E IPI=SGI1 CPU0_TO_CPU1=2 ROUNDS=2 SAME_CHANNEL=YES SGIR=0x00020001 SENDS=2 DELIVERIES=2 ACKS=2 EOIS=2 RESCHED=2 TASK_WAKE=2 TASK_RUNS=2 PROGRESS_R1=3 PROGRESS_R2=3 STACK=REUSED_STATIC64K SAME_STACK_REGION=YES QUIESCENT_BETWEEN=YES FINAL_PENDING=0 FINAL_ACTIVE=0 EOIMODE=DROP_DEACTIVATE GIC_REINIT=OFF RETURN=IDLE IRQ=MASKED TIMER=OFF GENERIC_SMP=OFF MIGRATION=OFF TLB_SHOOTDOWN=OFF CPU2_3=OFF SCOPE=CPU1_TWO_REMOTE_WAKES_ONLY BASE_TICKS=902 TICKS=1000
# Strict G8e PASS · prior/new/total=1/1/2 · source_cpu=0 · target_cpu=1 · ack_raw=0x1 · inter_wake_ticks=100 · task_tick=902 · stack_sp=0xd5000 · proof_delta=98
# NUL=1/1 · CRLF=245 · bare CR/LF=0/0 · SEC1–SEC13 gap/tick/drift mismatch=0 · forbidden=0SGIR=0x00020001 kanalında yalnız bir yeni SGI1 gönderdi. Prior/new/total sayaçları 1/1/2; ikinci tur ACK_RAW=EOI_RAW=0x1, GAP_TICKS=100 ve mevcut PINNED0 task için ikinci wake/run doğrulandı. Reused static stack aynı bölgede kaldı;STACK_SP=0xd5000, canary ve stack restore PASS verdi. Pending/active durumları turdan önce ve sonra sıfır, EOImode yolu DROP_DEACTIVATE ve GIC_REINIT=OFF kaldı. 275792 B / d9419ff5…f00c paket 19/19 hedef, workspace 168/168 tarihsel tam matris, makine-kodu 5/5, manifest 3/3 ve üç yönlü exact yeniden üretimden sonra karta formatsız yazıldı. Güçten önce arm edilen same-descriptor capture değişmeden 15762 B /c9909dea…51f4d ve mode 0444 olarak kapandı; G8E0/G8E1/G8E2/BOOT8E exact-once ve BOOT8E 902→1000 strict PASS verdi. Bu yalnız aynı CPU0→CPU1 SGI1 kanalında ikinci remote wake smoke'udur; GENERIC_SMP=OFF, MIGRATION=OFF, TLB_SHOOTDOWN=OFF ve CPU2_3=OFF sınırları genişletilmez.# GERÇEK RASPBERRY PI 5 UART10 · accepted raw 17363 B · e70e…5068 · mode 0444
# Sıra 77 transport-invalid, sıra 78 NUL=24>5 ve sıra 79 NUL=17>5: REDDEDİLDİ; bu raw ile birleştirilmedi
ASELSAN/BOOT8E IPI=SGI1 CPU0_TO_CPU1=2 ROUNDS=2 SAME_CHANNEL=YES SGIR=0x00020001 SENDS=2 DELIVERIES=2 ACKS=2 EOIS=2 RESCHED=2 TASK_WAKE=2 TASK_RUNS=2 PROGRESS_R1=3 PROGRESS_R2=3 STACK=REUSED_STATIC64K SAME_STACK_REGION=YES QUIESCENT_BETWEEN=YES FINAL_PENDING=0 FINAL_ACTIVE=0 EOIMODE=DROP_DEACTIVATE GIC_REINIT=OFF RETURN=IDLE IRQ=MASKED TIMER=OFF GENERIC_SMP=OFF MIGRATION=OFF TLB_SHOOTDOWN=OFF CPU2_3=OFF SCOPE=CPU1_TWO_REMOTE_WAKES_ONLY BASE_TICKS=902 TICKS=1000
ASELSAN/G8F0 CPU=0 PREREQ=BOOT8E SOURCE=CPU0 TARGET=CPU1 MPIDR=0x100 OP=ATOMIC_RELEASE RELEASE_GEN=1 RELEASES=1 RELEASE_GEN_WRITES=1 RELEASE_SEV=1 PRIOR_SENDS=2 PRIOR_DELIVERIES=2 PRIOR_ACKS=2 PRIOR_EOIS=2 PRIOR_RESCHED=2 PRIOR_WAKEUPS=2 PRIOR_TASK_RUNS=2 PRIOR_PENDING=0 PRIOR_ACTIVE=0 PRIOR_CANARY=OK PRIOR_STACK_RESTORE=OK CPU0_TIMER=ON RELEASE_TICK=1004 GENERIC_SMP=OFF MIGRATION=OFF TLB_SHOOTDOWN=OFF CPU2_3=OFF
ASELSAN/G8F1 REPORTER=CPU0 CPU=1 MPIDR=0x100 TPIDR=1 EL=1 MODE=EL1H SPSEL=1 IRQ=MASKED TIMER=OFF PREREQ=BOOT8E VERIFIED=YES PENDING=0 ACTIVE=0 GIC_READS=1 GIC_WRITES=0 CANARY=OK OP=ATOMIC_ACK RELEASE_GEN=1 ACK_GEN=1 ACKS=1 ACK_GEN_WRITES=1 RELEASE_OBSERVED=1 REPARK_PUBLISHED=1 ACK_SEV=1 UART_WRITES=0 HEAP_OPS=0 SCHED_CALLS=0 TIMER_WRITES=0 ACK_SAMPLE=CPU0_AFTER_ACQUIRE ACK_TICK=1004
ASELSAN/BOOT8F HANDOFF=POST_BOOT8E SOURCE=CPU0 TARGET=CPU1 RELEASE_GEN=1 ACK_GEN=1 RELEASES=1 ACKS=1 RELEASE_GEN_WRITES=1 ACK_GEN_WRITES=1 RELEASE_SEV=1 ACK_SEV=1 TOTAL_SEV=2 RELEASE_OBSERVED=1 REPARK_PUBLISHED=1 ACK_TICKS=0 CPU0_TIMER=ON TICKS_ADVANCED=YES CPU1_MPIDR=0x100 CPU1_TPIDR=1 CPU1_EL=1 CPU1_MODE=EL1H CPU1_SPSEL=1 CPU1_IRQ=MASKED CPU1_TIMER=OFF PRIOR_SENDS=2 PRIOR_DELIVERIES=2 PRIOR_ACKS=2 PRIOR_EOIS=2 PRIOR_RESCHED=2 PRIOR_WAKEUPS=2 PRIOR_TASK_RUNS=2 PRIOR_PENDING=0 PRIOR_ACTIVE=0 PRIOR_CANARY=OK PRIOR_STACK_RESTORE=OK NEW_CPU1_IRQS=0 NEW_SGI_SENDS=0 NEW_SGI_DELIVERIES=0 NEW_SGI_ACKS=0 NEW_SGI_EOIS=0 NEW_RESCHED=0 NEW_WAKEUPS=0 NEW_TASK_RUNS=0 NEW_GIC_WRITES=0 GENERIC_SMP=OFF MIGRATION=OFF TLB_SHOOTDOWN=OFF CPU2_3=OFF SCOPE=QUIESCENT_ATOMIC_HANDOFF_ONLY BASE_TICKS=1004 TICKS=1005
# Strict direct G8f PASS · release_ticks=4 · ack_ticks=0 · proof_ticks=1 · release/ack generation=1/1 · new work=0
# NUL=1/1 · maximum=5 · 50 marker canonical order=PASS · G8F0/G8F1/BOOT8F exact-once 316be86f…0f21 paket exact Secure Digital/FAT32 karta format atmadan yazıldı; kart manifesti 3/3, dört cmp, sync/eject PASS verdi. Değişmemiş 17363 B / e70e…5068 direct raw mode 0444 kapandı. Direct validator exit 0 verdi: leading/total NUL=1/1, maximum 5; 50 marker canonical sırada ve G8F0/G8F1/ BOOT8F exact-once. BOOT8E 1000→release 1004→ack 1004→BOOT8F 1005; release/ack/proof delta=4/0/1 ve release/ack generation=1/1 doğrulandı. Yeni CPU1 IRQ, SGI send/delivery/ack/EOI, reschedule, wake, task ve GIC write sayaçlarının tümü sıfırdır. Sıra 77–79 transport/framing kanıtları fail-closed reddedildi ve kabul raw'ına birleştirilmedi. Immutable G8e sonucu korunur. Bu fiziksel PASS yalnız QUIESCENT_ATOMIC_HANDOFF_ONLY kapsamıdır; generic SMP, migration, load balancing, TLB shootdown, CPU2/3, hotplug ve soak kanıtı değildir.# GERÇEK RASPBERRY PI 5 UART10 · accepted raw 18978 B · 4abf8bb1…1a2 · mode 0444
ASELSAN/G8G0 CPU=0 PREREQ=BOOT8F TARGET=CPU1 MPIDR=0x100 TIMER=PPI27 MODE=PER_CPU_PERIODIC SLOTS=4 CPU0_SLOT=0 CPU1_SLOT=1 ALIAS=NO INVALID_CPU=REJECT CPU0_FREQ=54000000 CPU0_PERIOD=540000 CPU0_START=58348469 CPU0_NEXT_CVAL=601588469 CPU0_TICKS=1005 CPU0_CAPTURE_COUNT=608470746 CPU1_FREQ=54000000 CPU1_PERIOD=540000 CPU1_START=608470774 CPU1_FIRST_CVAL=609010774 GIC_REINIT=OFF SCHED=OFF START_TICKS=1005
ASELSAN/G8G1 REPORTER=CPU0 CPU=1 MPIDR=0x100 INTID=27 DELIVERY=1 ACK=1 EOI=1 ACK_RAW=0x1b EOI_RAW=0x1b PERIOD=540000 PREV_CVAL=609010774 NEXT_CVAL=609550774 DELTA=540000 FIRED_COUNT=609010784 DRIFT_COUNTS=10 LOCAL_TICK=1 GLOBAL_TICKS=1005 CPU0_STATE_MUTATIONS=0 SCHED=OFF TASK_RUNS=0 HEAP_OPS=0 UART_WRITES=0
ASELSAN/G8G2 REPORTER=CPU0 CPU=1 MPIDR=0x100 INTID=27 DELIVERY=2 ACK=2 EOI=2 ACK_RAW=0x1b EOI_RAW=0x1b PERIOD=540000 PREV_CVAL=609550774 NEXT_CVAL=610090774 DELTA=540000 FIRED_COUNT=609550777 DRIFT_COUNTS=3 LOCAL_TICK=2 GLOBAL_TICKS=1005 CPU0_STATE_MUTATIONS=0 SCHED=OFF TASK_RUNS=0 HEAP_OPS=0 UART_WRITES=0
ASELSAN/BOOT8G TIMER=PER_CPU CPU0_SLOT=0 CPU1_SLOT=1 ALIAS=NO INVALID_CPU=REJECT CPU0_FREQ=54000000 CPU1_FREQ=54000000 CPU0_PERIOD=540000 CPU1_PERIOD=540000 CPU0_START=58348469 CPU1_START=608470774 CPU0_NEXT_CVAL_BEFORE=601588469 CPU0_NEXT_CVAL_AFTER=601588469 CPU0_TICKS_BEFORE=1005 CPU0_TICKS_AFTER=1005 CPU0_CAPTURE_COUNT=608470746 CPU0_STATE_MUTATIONS=0 CPU1_IRQS=2 CPU1_DELIVERIES=2 CPU1_ACKS=2 CPU1_EOIS=2 DEADLINE_ADVANCES=2 DEADLINE_DELTA1=540000 DEADLINE_DELTA2=540000 CPU1_LOCAL_TICKS=2 THIRD_CHECK_COUNT=610090774 THIRD_IRQ=NO FINAL_TIMER=OFF FINAL_IMASK=ON SCHED=OFF TASK_RUNS=0 HEAP_OPS=0 UART_WRITES=0 SGI=0 MIGRATION=OFF TLB_SHOOTDOWN=OFF CPU2_3=OFF SCOPE=CPU1_PER_CPU_TIMER_ONLY BASE_TICKS=1005 TICKS=1005
# Aggregate PASS · validators=11 · milestones=54 · marker occurrences/distinct=54/51
# Direct G8g PASS · NUL=5/5 · CRLF=249 · error=0 · independent audit FINAL GO 4abf8bb1…1a2 raw aggregate 11 validator/54 milestone ve direct G8g validator'dan PASS aldı. CPU0 next-CVAL/ticks 601588469/1005 değişmedi; CPU1 exact iki PPI27 delivery/ack/EOI ve iki 540000-count absolute deadline advance üretti. IRQ driftleri 10/3 count, third-check 610090774 ve third IRQ yoktur. Final timer OFF, IMASK ON; scheduler/task/heap/UART/SGI sıfırdır. Bu yalnızSCOPE=CPU1_PER_CPU_TIMER_ONLY fiziksel PASS'tir; Generic SMP, migration, TLBI, CPU2/3, hotplug ve soak değildir. EVIDENCE_SHA256SUMS 716 B / d1eaf8b8…c444 ve 8/8 PASS; README 8780 B / 479695cb…cde0. Source/archive cmp 7/7, package manifest 3/3 ve independent arithmetic matrix 61/61 PASS verdi. Böylece G8g yalnız CPU1_PER_CPU_TIMER_ONLY kapsamında COMPLETE oldu. Son fiziksel PASS S92 BOOT8G'dir. S94 G8h contract/parser host-only GREEN: 24/24 host ve release 13/13 test, 301/301 fail-closed rejection ile bağımsız PoC 9/9 PASS verdi; dondurulmuş 8-file composite kimliği e8fa44c6…aef5d. S95 dormant bounded runtime actual AArch64 opt1/z object kapısıyla GREEN oldu: 43/43 host, 288/288 serialized simulation ve bağımsız FINAL GO. Runtime 86200 B / fa4fd192…f8433 tarihsel prerequisite'tir. S96 exact RPi5-only main/G8g/exceptions seam'lerini bağladı: 52/52 aggregate, 297/297 serialized simulation, actual board build ve narrow ELF audit bağımsız FINAL GO aldı. Frozen runtime 86153 B / 85ea5c0d…e7541, ELF 7969640 B / 8cb118b9…923a4. S97 production machine-code/layout current ELF üzerinde 56/56, tarihsel/current G8–G8h 8/8, serialized 301/301 (43 result block) ve mutation 4/4 ile 23/23 rejected ELF mutation PASS verdi. Current ELF 7972592 B / a005d1c1…c5bc; runtime 86590 B / e82389b9…80de. Context 264+8/272 B, SP implicit frame+272; success markers 6/6 exact-once ve G8HERR absent. S98 image-free full matrix serialized workspace 307/307 (44 result block), nested S97 56/56 (7 group) ve aggregate 363/363 (51 result block) PASS verdi. Üç BUILD + iki COMPILE_ONLY profil 5/5; QEMU smoke PASS, QEMU/RPi4 G8h reachability=0, fresh RPi5 G8–G8h 8/8 ve marker 6/6/G8HERR=0. Fresh ELF'ler QEMU 1c03511c…b9f0, RPi4 0da581c9…476f, RPi5 bfeb9d6e…0008. S99 reproducibility exact 177-file / 3352289 B snapshot ile workspace 313/313 PASS verdi. Mevcut workspace referansı + dört fresh main/A/B/C replica'da layout 5×8=40/40; raw 316864 B / 7e4b713a…70de1, strip-all 382824 B / 59a23f58…79fa ve loadable signature 2066 B / 4dac229f…8ee1 exact eşleşti. Full-debug ve strip-debug yalnız izinli non-ALLOC varyanttır; full-debug exact equality iddia edilmez. S100 exact 183-file source closure'ı f54f583b…246be path, a337bf55…ee0e6 content ve 9d3e9e2c…60ee1 mode kimlikleriyle dondurdu. Main/clean/evidence exact4 4/4; image 316864 B / 7e4b713a…70de1, SHA256SUMS 248 B / dfc5eaac…1f5f, DTB 78703 B / 40a2fbe9…ca00 ve config 501 B / 1248275c…76b. Package directory 0755; exact dört payload 0444/nlink1/distinct inode. Raw+ALLOC marker 6/6 ve G8HERR=0; package source 12/12, self-test 16/16, final verify 12/12, serialized simulation 325/325 (46 block) PASS. Atomic no-overwrite publish sonrası package.lock absent ve independent audit FINAL GO. S115/S116 preflight redleri lock/write öncesinde durdu. S117 ilk temp copy AppleDouble incident'ında PREPARED lock retained kaldı; S118 yalnız temp pair'i kaldırıp bir sync sonrası S89 exact4/base10 recovery'yi doğruladı. S119 S100 exact4'ü AppleDouble-aware cp4/temp-sidecar4 validation, temp payload readback4, paired mv4, final payload readback4, final sidecar4 exact audit, sync2 ve eject1 ile storage/media PASS yaptı. S120'de kullanıcı kartı güç verilmemiş Pi'ye taktığını bildirdi. Bu USER-REPORTED / NOT INDEPENDENTLY OBSERVED placement state'idir; S100 kimliği S119 pre-eject kanıtındandır ve kart takma sonrasında re-read yapılmadı. S121 capture source 6/6, G8g+G8h contract 24/24, PTY 6/6, physical-raw semantic 8/8 ve source 5/5 PASS verdi. Canonical 13157 B sentetik raw 12 validator, 60 marker occurrence ve 57 distinct tag ile geçti; physical=NO. Son boot/runtime PASS S92 BOOT8G'dir. S122 fresh üç pre-open identity/holder örneği, source/build equality ve tek PID4516 helper ile gerçek same-descriptor UART pre-arm'ı VERIFIED yaptı. Serial FD3/raw FD4 üzerinde TIOCEXCL, 115200/8N1/raw/flow-off, TCIFLUSH, capture_identity ve capture_armed=YES doğrulandı. Üç post-arm örnekte raw initial0 ardından aynı dev/inode üzerinde açık/değişebilir 1 B 00, mode0600/nlink1 kaldı. S123'te aynı helper BOOT8H marker, üç saniye grace ve durable close verdi; immutable raw 22512 B / 0076cd00…0f85 mode0444 kapandı. Identity-pinned strict wrapper exact bir kez çağrılıp leading NUL 23 > maximum 5 nedeniyle exit1 verdi. PHYSICAL_BOOT8H=REJECTED ve GENERIC_SMP_RUNTIME=STOP. Son fiziksel PASS S92 BOOT8G'dir. Capture snapshot power_off_at_validator_close=0; ayrı USER-REPORTED closeout post_S123_closeout_power_off=1 ve lifecycle power_on/off=1/1 kaydeder. CURRENT_POWER_STATE=USER-REPORTED POWERED OFF, independently_observed=false; event-local power_on/ UART/helper/disk/raw_access/validator/archive/promotion=0 ve raw reread/reverify yoktur. S124 archive/promotion STOP'tur.| Gözlem | Muhtemel katman | İlk kontrol |
|---|---|---|
| Firmware logu da yok | Güç · kart · EEPROM | config.txt kökte mi, kart FAT32 mi, UART doğru konnektörde mi? |
| Loading satırı var, BOOT0 yok | İmaj · linker · entry | Kopyalanan hash, 0x0008_0000 linker/config sözleşmesi ve ilk branch kodu. |
| BOOT0 var, EL1 yok | Exception level geçişi | CurrentEL, HCR_EL2, SPSR_EL2, ELR_EL2 ve stack adresi. |
| DTB=FAIL | Boot protokolü | x0 korundu mu, DTB magic 0xD00DFEED mi, Pi 5 DTB doğru mu? |
| MMU=ON sonrası sessiz | Paket sürümü · GIC MMIO | Kartta 83cbc10a…cdda G5 paketi var mı; GICD/GICC DEVICE map ve GICERR kaydı. |
| GIC0/TIMER0 var, BOOT5 yok | PPI27 · virtual timer IRQ | IRQ0 INTID=27, unknown IRQ akışı, CNTFRQ/period ve enable readback. |
| BOOT5 var, RAM0/RAM1/BOOT6 yok | Paket sürümü · G6 bellek planı | Kart yazma kaydındaki 5630758c…f26b G6 3/3/cmp kanıtını doğrula; ardından temiz güç döngüsünde UART10'u baştan yakala. |
| BOOT6 var, G7S0 yok | G7a paket · scheduler başlangıcı | Kartta 50a802e7…b266 G7a paketi ve manifest 3/3 var mı; CPU0/FPEN doğrulaması G7ERR üretti mi? |
| G7S0 var, ABAB/BOOT7 yok | G7a · kooperatif context switch | G7S1 A1→B1→A2→B2 tekilliğini, G7ERR ORDER ve başlangıç/bitiş tick farkının en az 100 olmasını doğrula. |
| BOOT3/RAM1 sonrası ESR=0x96000410 | G7b · pre-MMU synchronization | Tarihsel 7f0ba2b9…1720e2 logunda RPI5_PMM.lock LDAXRB kök nedenini doğrula. c065bbd7…db5f düzeltmesinin sıra 35 canonical UART kaydında G7B0/BOOT7B strict PASS verdiğini regression referansı olarak kullan. |
| BOOT7 var, G7B0 yok | G7b paket · PMM planı | Reflash sonrasında kartta c065bbd7…db5f G7b paketi ve manifest 3/3 var mı; NO_REGIONS/REGION_CAPACITY/PHYS_WIDTH/RESERVED_OVERLAP G7BERR nedenini ara. |
| G7B0 var, BOOT7B yok | G7b baseline · timer ilerlemesi | G7B0 sonrası BASE_TICKS'i, en az 100 ek tick'i, aradaki SEC örneğini ve TICKS_REGRESSED/BOOT7B_DUP G7BERR kaydını doğrula. |
| BOOT7B var, G7C0 yok | G7c paket · PMM/mapping hazırlığı | Kartın gerçekten 276d568b…a99d0 G7c paketiyle yazıldığını 3/3 + cmp ile doğrula; PMM_ACCOUNTING, FRAME_* ve VA_NOT_EMPTY G7CERR nedenlerini ara. |
| G7C0 var, G7C1/G7C2 yok | EL0 · SVC · copy-in | Trusted payload satırını, exact ELR/x8/fd/ptr/len alanlarını ve EC/IL/SVC_IMM, SP_EL0, COPYIN_* G7CERR nedenlerini doğrula. |
| G7C2 var, BOOT7C yok | Teardown · EL1h monitor · timer | TEARDOWN=OK sonrasında user/alias PTE'lerinin unmapped kaldığını, G7C2–BOOT7C arasında SEC örneğini ve en az 100 tick farkını doğrula. |
| BOOT7C var, G7D0 yok | G7d paket · statik task bootstrap | Kartın 230560 B / 0927d195…39f9 G7d paketiyle 3/3 + cmp doğrulandığını kontrol et; INIT_STATE, STACK_ALIGN, FRAME_ALIGN ve CANARY G7DERR nedenlerini ara. |
| G7D0 var, BOOT7D yok | PPI27 · frame redirect · progress | G7D1–G7D4 yön/switch/tick alanlarını, a2>a1 ve b2>b1 ilerlemesini, GIC EOI sırasını, canary'leri, son switch sonrası SEC örneğini ve en az 100 tick'i doğrula. |
| BOOT7D var, G8S0 yok | G8a paket · runtime DTB · PSCI discovery | Kartın 242848 B / dca4ab20…ae863 G8a paketiyle 3/3 + cmp doğrulandığını; /psci method=smc, dört enable-method=psci CPU ve MPIDR 0x000/0x100/0x200/0x300 contract'ını kontrol et. |
| G8S0 var, G8S1/BOOT8 yok | PSCI CPU_ON64 · CPU1 trampoline · coherency | G8ERR kodunu; TARGET=0x100, affinity OFF→ON, context, EL2/EL1 yolu, shared TTBR0/VBAR, IRQ=MASKED, online=0x3, mailbox echo ve 100-tick timeout'u doğrula. |
| BOOT8 var, G8B0 yok | G8b paket · CPU1 release · banked GICv2 | Kartın 246960 B / dc241315…fb44a8a G8b paketiyle 3/3 + cmp doğrulandığını; ayrı release mailbox'ını, CPU1 GICC_CTLR/PMR/BPR readback'ini ve banked PPI27 enable durumunu kontrol et. |
| G8B0 var, G8B1/BOOT8B yok | CPU1 virtual timer · PPI27 · exception dönüşü | G8BERR kodunu; 5-tick one-shot period/deadline/fired-count ilişkisini, INTID=27 exactly-once delivery'yi, local timer disable + raw EOI sırasını, IRQ maskeli EL1h dönüşünü ve bounded stage timeout'unu doğrula. |
| BOOT8B var, G8C0 yok | G8c paket · G8b prerequisite · CPU1 release | Kartın 255168 B / 2950ca3c…c8538 G8c paketiyle 3/3 + cmp doğrulandığını; G8b stage=PARKED, error=0, INTID=27, deliveries=1, timer OFF ve BOOT8B emitted önkoşullarını kontrol et. |
| G8C0 var, G8C1/BOOT8C yok | CPU1 yerel task · 64 KiB stack · local idle | G8CERR kodunu; MPIDR/EL/TPIDR, IRQ maskesi, timer OFF, FP=TRAP, stack canary/SP aralığı, RUNS=1, PROGRESS=3, dönüş cookie'si ve x19 tabanlı özgün stack restorasyonunu doğrula. |
| BOOT8C var, G8D0/BOOT8D yok | G8d · ilk SGI1 round | Tarihsel G8d sınırında TARGET_LIST=0x02, raw ACK/EOI, CPU1-published timer-off, PINNED0 ilk wake/run ve BOOT8D 802→900 sözleşmesini doğrula. |
| BOOT8D var, G8E0/BOOT8E yok | G8e · aynı SGI1 kanalının ikinci turu | G8EERR kodunu; prior/new/total=1/1/2 sayaçlarını, SGIR=0x00020001, pending/active 0→0, GAP_TICKS=100, ikinci wake/run ve BOOT8E 902→1000 sözleşmesini doğrula. |
| BOOT8E var, G8F0/BOOT8F yok | G8f · quiescent atomic handoff | G8FERR kodunu; BOOT8E immutable önkoşulunu, release/ack generation=1/1, REPARK_PUBLISHED=1, CPU0 tick örneklerini ve G8F0/G8F1/BOOT8F exact sırasını doğrula. |
| BOOT8F var, direct validator reddediyor | UART framing · evidence integrity | Raw kaydı değiştirme veya önceki capture ile birleştirme. Leading NUL üst sınırının 5 olduğunu doğrula; transport-invalid kayıt firmware verdict'i değildir. |
| BOOT8F var, G8G0 yok | G8g package · capture/release başlangıcı | Kartta frozen 985fbe10…3c747 G8g image olduğunu, S91 same-descriptor arm kimliğini ve G8GERR/capture timeout durumunu doğrula. |
| G8G0 var, G8G1/G8G2/BOOT8G yok | CPU1 per-CPU PPI27 · absolute deadline | CPU1 slot/start/first-CVAL, exact iki INTID27 ACK/EOI, 540000 delta, third-check ve final OFF+IMASK state'ini doğrula. |
| BOOT8G var, aggregate validator reddediyor | Immutable raw · global framing/marker inventory | Raw'ı trim/edit/merge etme; mode0444/nlink1/hash, NUL=5/5, CRLF=249, 54/51 marker envanteri ve terminal exact EOF sınırını doğrula. |
| Okunmayan karakterler | UART | 115200 8N1, ortak GND, yanlış UART veya clock varsayımı. |
Tarihsel G8f raw 17363 B / e70e…5068 ve BOOT8F tick 1005 immutable prerequisite olarak korunur. Güncel fiziksel sınır tek power-on ile alınan değişmemiş 18978 B /4abf8bb1…1a2, mode 0444 G8g raw'ıdır. Aggregate wrapper 11 validator/54 milestone, direct G8g validator ve bağımsız audit PASS verdi. CPU0 compatibility state değişmeden CPU1 exact iki local PPI27 turu, iki deadline advance ve final off+masked state üretti. G8g yalnızCPU1_PER_CPU_TIMER_ONLY kapsamında kapandı. S93 permanent evidence arşivi 9/3/0 tree, checksum 8/8, cmp 7/7, package manifest 3/3 ve arithmetic 61/61 FINAL GO verdi. Son fiziksel PASS S92 BOOT8G'dir. S94 G8h contract/parser CPU1 üzerinde iki sabit EL1 task, iki ayrı 64 KiB stack, exact ABABA ve 10/20/30/40 switch tick'lerini sentetikphysical=NO kanıtla dondurdu. Host kapıları 24/24, release 13/13, fail-closed matrix 301/301 ve bağımsız PoC 9/9 PASS; 8-file composite kimliği e8fa44c6…aef5d. S95 dormant bounded runtime source TDD ve actual AArch64 opt1/z object kapısı 43/43 host, 288/288 serialized simulation ve bağımsız FINAL GO ile GREEN oldu; runtime exact 86200 B /fa4fd192…f8433 tarihsel prerequisite'tir. S96 exact üç dar RPi5 production seam'ini 52/52 aggregate, 297/297 serialized simulation, actual board build ve narrow ELF audit ile GREEN yaptı. Frozen runtime 86153 B /85ea5c0d…e7541, ELF 7969640 B /8cb118b9…923a4. S97 current 7972592 B /a005d1c1…c5bc ELF'te machine-code/layout kapısını 56/56, G8–G8h 8/8, serialized 301/301 ve 23/23 mutation reject ile GREEN yaptı. CPU1 critical closure panic-free; CPU0 terminal formatter yalnız exact trusted fmt/UART boundary'sidir. Altı success marker exact-once, G8HERR absent. S98 full matrix workspace 307/307 (44 block), nested S97 56/56 (7 group), aggregate 363/363 (51 block) ve beş clean isolated profil 5/5 ile GREEN oldu. QEMU smoke PASS; QEMU/RPi4 G8h symbol/ALLOC marker/reachability 0, fresh RPi5 G8–G8h 8/8, marker 6/6 ve G8HERR=0. Tarihsel build/rpi5 byte/hash/mtime değişmedi ve IMAGE_BUILD=NOT_RUN. S99 exact 177-file source snapshot ile workspace 313/313; workspace semantic reference + fresh main/A/B/C layout 5×8=40/40 PASS verdi. Raw 316864 B /7e4b713a…70de1, strip-all 382824 B /59a23f58…79fa ve loadable signature 2066 B /4dac229f…8ee1 exact; full/strip-debug yalnız non-ALLOC varyanttır. S100 exact 183-file source closure ile main/clean/evidence 4/4 image setini doğruladı. Immutable image 316864 B / 7e4b713a…70de1; raw+ALLOC marker 6/6, G8HERR=0. Package 0755, exact dört payload 0444/nlink1/distinct inode ve atomic no-overwrite publish ile STAGED+VERIFIED; package source 12/12, self-test 16/16, final verify 12/12 ve simulation 325/325 (46 block) PASS. S115/S116 real preflight redleri write/lock öncesinde, S117 AppleDouble incident'ı ilk temp copy ve retained PREPARED lock sınırında, S118 exact S89 recovery olarak kaydedildi. S119 AppleDouble-aware S100 exact4 storage transaction'ı temp-sidecar4 validation, temp payload readback4, paired mv4, final payload readback4, final sidecar4 exact audit, iki sync, independent S100_META/base10 audit ve tek eject ile PASS verdi; mantıksal S109 kapısı kapandı. Son boot/runtime PASS S92 BOOT8G'dir. S120'de kullanıcı kartın powered-off Pi'ye takıldığını bildirdi; bu USER-REPORTED / NOT INDEPENDENTLY OBSERVED placement state'idir. Kart takıldıktan sonra re-read yapılmadı ve S100 kimliği yalnız S119 pre-eject kanıtına dayanır. S121 BOOT8H-aware helper/source/PTY ve immutable raw zincirini 6/24/6 + 8/5 PASS ile doğruladı; canonical 13157 B raw 12/60/57 ve physical=NO. S122 source 20525 B / 6e438d26…56cd ile iki clean 35048 B / f21d0027…9df2 helper'ı eşledi; fresh 3/3 pre-open identity/holder auditinden sonra yalnız bir PID4516 sürecini arm etti. Serial FD3/raw FD4 same-descriptor, TIOCEXCL_APPLIED, 115200/8N1/raw/flow-off, TCIFLUSH, capture_identity ve capture_armed=YES; post-arm 3/3 stable. Raw initial0 ardından açık/değişebilir 1 B 00 mode0600/nlink1 kaldı. S123'te aynı helper BOOT8H terminal marker'ını gördü, üç saniyelik grace'i tamamladı ve raw'ı durable mode0444 kapattı. Değiştirilmemiş immutable raw 22512 B /0076cd00…0f85 kimliğindedir. Identity-pinned strict wrapper exact bir kez çağrıldı; leading NUL 23 > maximum 5 nedeniyle exit1 verdi. PHYSICAL_BOOT8H=REJECTED; fiziksel PASS yoktur ve son boot/runtime PASS S92 BOOT8G kalır. Capture snapshot power_off_at_validator_close=0; kullanıcı closeout'u post_S123_closeout_power_off=1 ve lifecycle power_on/off=1/1 kaydeder. Current state USER-REPORTED POWERED OFF, independently_observed=false; event-local power_on/UART/helper/ disk/raw_access/validator/archive/promotion=0 ve raw reread/reverify yoktur. S124 archive/promotion STOP'tur. GENERIC_SMP_RUNTIME, migration, TLBI, CPU2/3, hotplug ve soak kapalı kalır.