9chan.lv | 9chan.fromhell.lv | IRC | Discord | Telegram | Library

/b/ - International/Random

Anime Website

Mode: Reply [Return] [Go to bottom]

Name:
Subject:
Sage:
Comment:
Files:
Drawing: x size canvas
Password: (For post deletion)
  • Allowed file types: GIF, JPG, PNG, BMP, MP3, WEBM, MP4, OGG, FLAC, SWF
  • Maximum number of files per post: 10
  • Maximum file size per post: 32.00 MB
  • Read the rules before you post.
Google launches KataOS Jānis 10/16/2022 (Sun) 17:49:08 No. 849
Real IP
2019-04-01_look_this_way.png
272.04 KB, 1266x884
>Google has announced the existence of yet another new operating system, called KataOS, aimed at the creation of secure embedded systems. >As the foundation for this new operating system, we chose seL4 as the microkernel because it puts security front and center; it is mathematically proven secure, with guaranteed confidentiality, integrity, and availability. Through the seL4 CAmkES framework, we're also able to provide statically-defined and analyzable system components. KataOS provides a verifiably-secure platform that protects the user's privacy because it is logically impossible for applications to breach the kernel's hardware security protections and the system components are verifiably secure. KataOS is also implemented almost entirely in Rust, which provides a strong starting point for software security, since it eliminates entire classes of bugs, such as off-by-one errors and buffer overflows. https://lwn.net/Articles/911332/