"Enter"a basıp içeriğe geçin

Google’dan yeni deneysel işletim sistemi KataOS…

Yeni işletim sistemlerini denemeyi seven teknoloji şirketlerinden biri olan Google, gömülü makine öğrenimi cihazları geliştiriyor. Tanıtılan KataOS.

KataOS, Sparrow ile birlikte Google Açık Kaynak blogunda duyuruldu. Weston görüntüleme sunucusunun Wayland için referans uygulaması olması gibi KataOS, Sparrow için referans uygulamasıdır.

Blanc, Catawson”Makine öğrenimi uygulamaları çalıştıran gömülü cihazlar için optimize edilmiş güvenli, kanıtlanmış bir platformGoogle, seL4-sys deposunu oluşturan Antmicro ile çalışıyor.Şu anda işletim sistemi Arm64 komut setine göre geliştiriliyor, ancak gelecekte, RISC-V kullanarak openTitan üzerinde çalışır Planladım.

GitHub’daki açıklamaya göre, yeni işletim sistemi neredeyse tamamen Rust ile yazılmış. Bu, seL4 mikro çekirdeğini içermez. Sel4 öncelikle C’de uygulandığından proje, C ve Rust katmanlarını entegre etmek için Haskell ve Python’u bir soyutlama katmanı olarak kullanan mikro çekirdek tabanlı gömülü sistem bileşen mimarisi olan CAmkES’i kullanır.

80’lerde mikro çekirdekler Diğer önemli şey Çok fazla baskın etki olmasa da mikroçekirdek sayısının çok fazla olduğu görülmüştür. Örneğin, Linux eleştirmeni Dr. Andy Tannenbaum tarafından hazırlandı MİNİX ​​3, milyonlarca Intel CPU’da Sistem Yönetim Konsolunda kullanılan başarılı bir FOSS mikro çekirdeğidir. Blackberry 10’un temeli ve Blackberry’nin para kazanma kısmı olan QNX, en çok satan iş çekirdeğidir.

Açık kaynak XNU çekirdeğine dayanan muhtemelen gördüğüm veya kullandığım en ünlü isim Apple’ın macOS’u olabilir (eski adıyla Mac OS X ve bundan önce NeXTstep). İlk nesil mikro çekirdeklerden biri olan Carnegie Mellon Üniversitesi’nin Mach’ına dayanıyordu, ancak XNU’nun çekirdeğin içinde FreeBSD koduna dayalı büyük bir Unix sunucusu var. Yani teknik olarak melez bir çekirdektir ve saf bir çekirdek değildir.

Security Enhanced L4 veya kısaca seL4, Mac’in, artık kullanılmayan L4 olan mikro çekirdeğin performansını iyileştirmeye verdiği yanıttır. John Daha önce inşa edilmiş ve yaklaşık on yıldır piyasada olan daha büyük L4 ailesinin bir üyesi.

Diğer gönderilerimize göz at

[wpcin-random-posts]

İlk Yorumu Siz Yapın

Bir yanıt yazın

E-posta adresiniz yayınlanmayacak. Gerekli alanlar * ile işaretlenmişlerdir

                                                                                                                                                                                                                                   .
istanbul escort deneme bonusu veren siteleruetds masal oku
panel çit instagram takipçi alma Mobil Sohbet Sohbet siteleri İstanbul Alarm Sistemleri Kredi Çıkmayana Kredi İstanbul gazaltı kaynak makinesi tenis kursu