ASELSANMicrokernel
S7 · SOURCE-BOUND GATE EVIDENCE

QEMU user ELF smoke testi geçti

S7 QEMU smoke komutu → exact Makefile run hedefi Bu sayfa yalnız S7 kapısına aittir; komşu kapıların kaynakları bu kabulün içine katılmaz.

S7Komut / fiziksel sözleşmeOperations id exactsource SHA exact

operation: qemu-user-elf-transition

script/Makefile/config · Operations · 2 exact excerpt

sequence-bound=true · implementation-bound=false
01 · Yürütme / doğrulama kodu

Kapının gerçek repository sözleşmesi

tam Make hedefiL6358–L6367
Makefile::run
run: kernel
	@echo ">>> QEMU aarch64 virt üzerinde kernel başlatılıyor..."
	qemu-system-aarch64 \
		-M virt \
		-cpu cortex-a72 \
		-smp 2 \
		-m 128M \
		-nographic \
		-serial mon:stdio \
		-kernel $(ELF)
snippet sha256: c0caa49ab79bfile sha256: a8d6a7830268
02 · Kapı kimlik kaydı

Operations sıra, kimlik ve başlık bağı

tam Operations kaydıL35153–L35176
website/src/lib/operations.ts::qemu-user-elf-transition
  {
    id: "qemu-user-elf-transition",
    date: "2026-08-19",
    sequence: 7,
    status: "passed",
    title: "QEMU user ELF smoke testi geçti",
    summary:
      "Altı saniyelik seri log smoke testinde hello ve ipc_demo ayrı EL0 ELF'leri çalıştı; beklenen syscall, IPC ve scheduler ilerlemesi hatasız görüldü.",
    evidence: [
      "Skeleton görevin TaskContext x30 alanı user_first_kernel_entry adresine bağlandı.",
      "Kernel essentials önce, çakışan ELF USER mapping'leri en son kurulacak şekilde mapping sırası düzeltildi.",
      "Yüksek user stack VA'ları gerçek fiziksel RAM frame'lerine bağlandı ve en alttaki guard sayfası map edilmeden bırakıldı.",
      "Yüklenen ELF sayfalarında D-cache clean + I-cache invalidate bakımı yapıldı; hello mesajı fat-pointer yerine static [u8; 37] byte dizisine çevrildi.",
      "hello doğru metni yazdı ve SYS_EXIT ile çıktı; ipc_demo başladı, endpoint mint/list yaptı ve self-call yolunda beklendiği gibi bloke oldu.",
      "SEC1–SEC5 scheduler akışı devam etti; logda panic, FATAL, stack overflow, data abort veya unknown kaydı bulunmadı.",
    ],
    commands: [
      "6 sn QEMU UART smoke",
      "pozitif + yasaklı log marker doğrulaması",
    ],
    limitations: [
      "PASS kapsamı altı saniyelik smoke penceresidir; ipc_demo self-call blokajı beklenen davranıştır ve ayrı bir peer ile tam Call/Reply turu kanıtı değildir.",
    ],
  },
snippet sha256: 1790a7dac232file sha256: 9726dbf00f84
Kayıtlı yürütme/kanıt komutu
6 sn QEMU UART smoke
Registry schema v5 · generator website/scripts/generate-code-gates.mjs · Tam SHA-256: 3050638b71a684d8f8f947a8a6faa237a17fa8db5dc0db04fb207b668b462af9