Google kompaniyasi KataOS operatsion tizimining ishga tushirilishini e'lon qildi, uning maqsadi o'rnatilgan qurilmalar uchun xavfsizlik tizimini ta'minlashdir. Endi atrof-muhitdan ma'lumotlarni to'playdigan va qayta ishlaydigan ko'proq aqlli qurilmalar paydo bo'lmoqda. Google ma'lumotlariga ko'ra, ushbu qurilmalar xavfsizlik muammolariga ko'proq moyil.
Shunday qilib, o'rnatilgan apparat uchun mustahkam himoyalangan tizim bo'lgan oddiy yechimga ehtiyoj bor. Agar siz atrofimizdagi qurilmalar ma'lumotlarni xavfsiz saqlashini matematik tarzda isbotlay olmasangiz, bu noqulaylik tug'diradi. Buning sababi shundaki, ular to'playdigan ma'lumotlar tashqi hujumlarga nisbatan zaif bo'lishi mumkin. Bu tasvirlar, ovozli yozuvlar, videolar va boshqa ma'lumotlar zararli dastur tomonidan o'g'irlanishi mumkinligini anglatadi. Shu sabab Google KataOSni joriy qilishga majbur bo'ldi.
Ma'lumotlarga ko'ra, seL4 KataOS uchun mikroyadro sifatida tanlangan. Bu xavfsiz, shaxsiy va foydalanish mumkinligi isbotlangan. Butunlik darajasi yuqori va foydalanuvchilar himoyaga ishonch hosil qilishlari mumkin. seL4 CAmkES ramkasi tufayli KataOS shuningdek, aniqlangan va tahlil qilingan tizim komponentlarini taqdim eta oladi. KataOS ishonchli himoyalangan tizimni ta'minlaydi. Bu foydalanuvchi maxfiyligini himoya qiladi, chunki ilovalar yadroning apparat himoyasini buza olmaydi. Bundan tashqari, tizim modullari xavfsiz ekanligi tasdiqlangan. Bundan tashqari, KataOS deyarli butunlay Rust-da amalga oshiriladi. Bu birma-bir xatolar va bufer to'lib ketishi kabi barcha turdagi xatolarni yo'q qiladigan til.
Google-ning KataOS-ning dastlabki ochiq manbali versiyasi GitHub-da paydo bo'ldi, unda KataOS-ning asosiy modullarining aksariyati mavjud:
- Rust uchun ramkalar (masalan, sel4 syscall API ta'minlovchi sel4 syscall)
- Rust-da yozilgan muqobil rootserver (dinamik tizim bo'ylab xotirani boshqarish uchun zarur)
- Ildiz server tomonidan ishlatiladigan xotirani qaytarish uchun sel4 yadrosini o'zgartirish.
Google Antmicro bilan ham ishlaydi. Ushbu aloqalar maqsadli apparat uchun Renode orqali GDB disk raskadrovka va emulyatsiyasini ta'minlaydi. Ichkarida, KataOS ham uchinchi tomon ilovalarini dinamik ravishda yuklash va ishga tushirishga qodir. U hatto CAmkES doirasidan tashqarida yaratilgan dasturlarni ham ishga tushiradi. Hozirda Github-dagi kodda ushbu ilovalarni ishga tushirish uchun zarur bo'lgan modullar mavjud emas. Biroq, Google yaqin kelajakda bu operatsiyalarni chiqarishga umid qilmoqda.
Google shuningdek, KataOS uchun Sparrow deb nomlangan mos yozuvlar ilovasini yaratdi. Chumchuqni yaratishning sababi xavfsiz muhit tizimini to'liq namoyish qilishdir. U xavfsiz apparat platformasi bilan KataOS dan foydalanadi. Chumchuq RISC-V arxitekturasida OpenTitan yordamida mustahkam himoyalangan ishonch ildizini o'z ichiga oladi. Bu operatsion tizimning xavfsiz yadrosiga qo'shimcha. Biroq, KataOS ning dastlabki versiyasi uchun Google QEMU emulyatsiyasidan foydalanmoqchi. U ushbu emulyatsiyadan standartroq 64-bitli ARM tizimini ishga tushirish uchun foydalanadi.
Siz Ukrainaga rus bosqinchilariga qarshi kurashda yordam bera olasiz. Buning eng yaxshi yo'li - Ukraina Qurolli Kuchlariga pul mablag'larini berishdir Savelife yoki rasmiy sahifa orqali NBU.
Shuningdek, qiziqarli: