Google şirkəti KataOS əməliyyat sisteminin istifadəyə verildiyini elan etdi, onun məqsədi quraşdırılmış qurğular üçün təhlükəsizlik sistemini təmin etməkdir. İndi ətraf mühitdən məlumat toplayan və emal edən daha çox ağıllı qurğular peyda olur. Google-a görə, bu cihazlar təhlükəsizlik problemlərinə daha həssasdır.
Beləliklə, quraşdırılmış avadanlıq üçün möhkəm qorunan bir sistem olan sadə bir həllə ehtiyac var. Əgər ətrafımızdakı cihazların məlumatları təhlükəsiz saxladığını riyazi olaraq sübut edə bilmirsinizsə, bu, narahatçılıqdır. Bunun səbəbi onların topladıqları məlumatların xarici hücumlara qarşı həssas ola bilməsidir. Bu o deməkdir ki, şəkillər, səs yazıları, videolar və digər məlumatlar zərərli proqram tərəfindən oğurlana bilər. Google-un KataOS-u təqdim etməli olmasının səbəbi budur.
Məlumatlara görə, KataOS üçün mikrokernel olaraq seL4 seçilib. Təhlükəsiz, özəl və əlçatan olduğu sübut edilmişdir. Dürüstlük səviyyəsi yüksəkdir və istifadəçilər müdafiədən əmin ola bilərlər. seL4 CAmkES çərçivəsi sayəsində KataOS həmçinin müəyyən edilmiş və təhlil edilmiş sistem komponentlərini təmin edə bilir. KataOS etibarlı təhlükəsiz sistem təmin edir. O, istifadəçi məxfiliyini qoruyur, çünki proqramlar nüvənin aparat müdafiəsini poza bilməz. Bundan əlavə, sistemin modullarının təhlükəsiz olması təsdiqlənir. Bundan əlavə, KataOS demək olar ki, tamamilə Rust-da həyata keçirilir. Bu, tək-tək səhvlər və bufer daşması kimi bütün növ xətaları aradan qaldıran bir dildir.
Google-un KataOS-un ilkin açıq mənbəli versiyası GitHub-da ortaya çıxdı, KataOS-un əsas modullarının əksəriyyətini ehtiva edir:
- Rust üçün çərçivələr (məsələn, sel4 syscall API təmin edən sel4 syscall)
- Rust-da yazılmış alternativ kök server (sistem boyu dinamik yaddaşın idarə edilməsi üçün lazımdır)
- Kök server tərəfindən istifadə edilən yaddaşı qaytarmaq üçün sel4 nüvəsinin modifikasiyası.
Google Antmicro ilə də işləyir. Bu əlaqələr hədəf aparat üçün Renode vasitəsilə GDB-nin sazlanmasına və emulyasiyasına imkan verəcək. Daxili olaraq, KataOS həm də üçüncü tərəf proqramlarını dinamik şəkildə yükləmək və işə salmaq qabiliyyətinə malikdir. O, hətta CAmkES çərçivəsindən kənarda qurulmuş proqramları da işlədir. Hazırda Github-dakı kodda bu proqramları işə salmaq üçün lazım olan modullar yoxdur. Bununla belə, Google bu əməliyyatları yaxın gələcəkdə buraxmağa ümid edir.
Google həmçinin KataOS üçün Sparrow adlı istinad tətbiqi yaratdı. Sparrow-un yaradılmasının səbəbi təhlükəsiz mühit sistemini tam nümayiş etdirməkdir. Təhlükəsiz hardware platforması ilə KataOS-dan istifadə edir. Sparrow, RISC-V arxitekturasında OpenTitan ilə qurulmuş möhkəm qorunan bir etimad kökünü ehtiva edir. Bu, əməliyyat sisteminin təhlükəsiz nüvəsinə əlavədir. Bununla belə, KataOS-un ilkin buraxılışı üçün Google QEMU emulyasiyasından istifadə etmək niyyətindədir. O, bu emulyasiyadan daha standart 64 bitlik ARM sistemini işə salmaq üçün istifadə edəcək.
Siz Ukraynaya rus işğalçılarına qarşı mübarizədə kömək edə bilərsiniz. Bunun ən yaxşı yolu Ukrayna Silahlı Qüvvələrinə pul köçürməkdir Savelife və ya rəsmi səhifə vasitəsilə NBU.
Həmçinin maraqlıdır: