Hedef yeni bir Linux dağıtımı değil: QEMU/HVF üzerinde açılan, çekirdeği ve kullanıcı alanı Rust ile geliştirilen bağımsız TurkOS. İlk iş, ayrı kabul imajlarındaki parçaları tek ürün runtime'ında birleştirmek; sonra INIT, kabuk, dosyalar, ağ, SMP ve grafik.
Her faz 5 modül, her modül 4 yetenek ve 20 hamle içerir. Bir yeteneğin beş hamlesi: sözleşme → Rust kodu → olumlu test → hata testi → gerçek konukta entegrasyon. Fazın son numarası geçse bile diğer 99 kayıt ve önceki faz kapısı doğrulanmadan faz tamamlanmış sayılmaz.
İlk yürüyüş K601–K700 açılış sözleşmesi ve ürün runtime'ıdır. K1101–K1300 süreç + Rust INIT/kabuk, K1501–K1800 dosyalar + ELF, K1801–K2100 ağ + güvenlik + SMP; grafik daha sonra K2201–K2300 gelir. Gelecekteki dosya ve test adları mevcut uygulama iddiası değil, teslim hedefidir.
1900 kaydın tam JSON planı · Plan yapısı denetimi — OS testi değildir
Ayrı probe imajlarının başarıları tek ürün açılışı anlamına gelmez. Mevcut Rust çekirdeği silinmeden deney ve ürün yolları ayrılır.
Çıkış hedefi: Tek ARM64 Image, doğrudan ve UEFI girişinden aynı runtime hizmet sırasına ulaşır; firmware adresleri ömrünü aşmaz.
Deney ayırıcıları ürün yükleri için yeterli değildir. Sayfa sahipliği ve tahsis geri alması bütün katmanların temelidir.
Çıkış hedefi: Çerçeve heap ve DMA sahipleri ölçülür; tükenme veya çift iade hiçbir canlı sahibi bozmaz.
Sabit iki kullanıcı sayfası yerine her sürecin bağımsız ve ömrü yönetilen adres alanı gerekir.
Çıkış hedefi: Kullanıcı süreçleri kernel MMIO ve birbirlerinin sayfalarını göremez; map unmap ve hata yolları ölçülür.
Kısa IRQ probe başarısı sürekli ürün hizmeti değildir. Kesme bağlamı ile uyuyan hizmet bağlamı kesin ayrılır.
Çıkış hedefi: Timer ve aygıt IRQ hizmetleri bounded çalışır; register ve kaynak muhasebesi uzun koşuda korunur.
İki sabit görev yerine bağımsız kernel threadleri ve güvenli preemption ürün runtimeına bağlanır.
Çıkış hedefi: CPU yoğun ve uyuyan görevler ilerler; ölü bağlam seçilmez ve yığın register muhasebesi korunur.
EL0 deneylerini genel süreç yaşamına taşı; ilk exec gömülü güvenilir ELF kullanabilir, genel VFS ve çok segmentli loader sonraki fazlardır.
Çıkış hedefi: Üç bağımsız EL0 süreç spawn syscall wait exit ve hata yalıtımını tek ürün imajında tamamlar.
Kernel deney çıktısı yerine gerçek Rust EL0 programı hedeflenir. İlk araçlar native ABI ve salt-okunur kaynak kullanır; POSIX uyumu iddia edilmez.
Çıkış hedefi: INIT bir Rust kabuğu başlatır; kabuk komut çalıştırır bekler ve hatadan sonra yeni istem verir.
Kullanıcı servisleri kendi Rust süreçlerinde çalışır. Kernel nesne sahipliği ve izinleri mesajlaşmanın önkoşuludur.
Çıkış hedefi: İki kullanıcı servisi mesaj bekleme paylaşılmış bellek ve kontrollü handle devrini hata yalıtımıyla tamamlar.
QEMU aygıtları host VM ayarlarından ayrı konuk sürücüleridir. Ürün discovery kaynak pin IRQ ve detach modelini kurar.
Çıkış hedefi: Konuk yalnız keşfettiği aygıtı sürer; PCI veya MMIO transport reset IRQ ve DMA ömrü aynı aygıt sahibine bağlıdır.
Dosya yolu çözen kullanıcı servisi ile aygıt sektör isteği ayrılır. İlk mountlar salt-okunur kalır.
Çıkış hedefi: Rust kullanıcı araçları VFS üzerinden iki farklı mountta read stat list open close yapar; kaynak disk değişmez.
İki sabit inode journal deneyi genel yazılabilir dosya sistemi değildir. Yeni işler yalnız geçici disklerde yapılır; K559 ve güç kaybı sınırı korunur.
Çıkış hedefi: Dinamik dosya işlemleri geçici disklerde crash replay ve fsck ile ölçülür; production-write kendiliğinden açılmaz.
İlk gömülü programdan diskten çok segmentli native Rust uygulamalara geçilir. Linux ABI ve dinamik bağlayıcı uyumu bu kapının dışındadır.
Çıkış hedefi: Aynı kabuk diskten çok segmentli Rust ELF yükler; exec hatasında eski süreç veya tüm edinimler güvenle korunur.
ARP ICMP probe yerine servis edilen ağ yığını kurulur. Test ağı izole tutulur; internet ve TLS desteği kendiliğinden ilan edilmez.
Çıkış hedefi: İki izole konuk Rust soket programlarıyla UDP ve sınırlı TCP alışverişi yapar; hatalı trafik kernel belleğini bozmaz.
Temel pointer ve hak kontrolleri önceki fazların zorunlu parçalarıdır. Bu faz bunları sistem tehdit modeliyle denetler; kendi kriptografisini icat etmez.
Çıkış hedefi: Yetkisiz süreç aygıt yönetim sır ve başka principal verisine erişemez; açık kapılar experimental durumunu korur.
İki CPU probe ürün SMP scheduler değildir. PerCPU hizmet kilit TLB emekliliği birlikte taşınır.
Çıkış hedefi: İki ve dört vCPU profilinde süreçler CPUlar arasında ilerler; mapping ve kaynak muhasebesi yarışlarda korunur.
Host QMP quit ile TurkOS shutdown ayrı olaylardır. Rust PID1 kapanış sırası ve dosya tutarlılığı konuk içinde uygulanır.
Çıkış hedefi: Konuk kendi hizmetlerini durdurur kaynakları drain eder ve ölçülen platform poweroff yoluna gider; host timeout zorla kayıp onayıyla ayrıdır.
Host GUIde görülen EDK2 ekranı TurkOS grafik sürücüsü değildir. Bu faz gerçek konuk pikseli ve input protokolünü kurar.
Çıkış hedefi: Konuk Rust terminali virtio GPU üzerinde kendi piksellerini çizer; klavye ve odak seri yoldan bağımsız ölçülür.
Kullanılabilir işletim sistemi yalnız kernel probe değildir. Küçük native Rust uygulamalar aynı ABI VFS IPC UIyi tüketir.
Çıkış hedefi: Kabuk dosya araçları monitor editör ve ağ aracı aynı konuk imajında bağımsız süreçler olarak çalışır.
1900 plan kartı ürün kanıtı değildir. Her özelliğin host modeli gerçek konuk kabulü negatif korpusu ve dış sınırı ayrı tutulur.
Çıkış hedefi: Bütün ürün kabul kapıları delilleriyle değerlendirilir; geçmeyen güvenlik erişim KVM veya dayanıklılık varsa sürüm experimental kalır.
Apple donanımına doğrudan boot · Linux veya Windows ABI uyumluluğu · güvenlik sertifikası · gerçek-zaman garantisi · imzalı secure boot yalnız hash kontrolünden · üretim disk yazma güvenliği.
İnsan erişilebilirlik incelemesi, bağımsız güvenlik incelemesi, fiziksel güç kaybı ve yeni sürüm için ikinci makine açılışı otomasyonla uydurulamaz. Kalıcı kullanıcı disklerinde çökme enjeksiyonu yapılmaz. Yeni sürümün M1/M5/KVM açılışı eski imajın raporundan türetilemez. Fazlar geliştirme sırasıdır; süre veya tamamlanma sözü değildir.