The Programmer News Hubb
Advertisement Banner
  • Home
  • Technical Insights
  • Tricks & Tutorial
  • Contact
No Result
View All Result
  • Home
  • Technical Insights
  • Tricks & Tutorial
  • Contact
No Result
View All Result
Gourmet News Hubb
No Result
View All Result
Home Technical Insights

SD Times Open-Source Project of the Week: KataOS

admin by admin
October 21, 2022
in Technical Insights


Google announced that it open-sourced several components for its secure operating system called KataOS as part of an effort to build verifiably secure systems for embedded hardware. 

Google Research aims to solve this problem by providing a secure platform optimized for embedded devices running ML applications. 

SeL4 is the microkernel for the project because it prioritizes security and the seL4 CAmkES framework provides statically-defined and analyzable system components.

With KataOS, it’s impossible for applications to breach the kernel’s hardware security protections and the system components are verifiably secure. 

The GitHub release includes many of the KataOS core pieces such as the frameworks used for Rust, an alternate rootserver, and kernel modifications to seL4 that can reclaim memory used by the rootserver. 

Google stated that currently KataOS can’t run applications built outside of the CAmkES framework, but that it is working on incorporating it in the near future. Also, Google is building a reference implementation for KataOS called Sparrow that combines KataOS with a secured hardware platform. 

Google also partnered with Antmicro, a software-driven tech company providing development services, platforms, know-how and guidance to customers, on their Renode simulator and related frameworks. 



Source link

Previous Post

Weekly News for Designers № 666

Next Post

Fancy Image Decorations: Masks and Advanced Hover Effects | CSS-Tricks

Next Post

Fancy Image Decorations: Masks and Advanced Hover Effects | CSS-Tricks

Recommended

Solana vs Cardano vs Polkadot: Comparative Study

4 months ago

The 10 Best Free Lightroom Presets For Travel Photography

4 months ago

File Uploading Necessities: Speed, Reliability, and Security

4 months ago

The Web Has an Outdated Software Problem

2 months ago

Build a Reading List with Svelte

3 months ago

SD Times Open Source Project of the Week: workerd

4 months ago

© 2022 The Programmer News Hubb All rights reserved.

Use of these names, logos, and brands does not imply endorsement unless specified. By using this site, you agree to the Privacy Policy and Terms & Conditions.

Navigate Site

  • Home
  • Technical Insights
  • Tricks & Tutorial
  • Contact

Newsletter Sign Up.

No Result
View All Result
  • Home
  • Technical Insights
  • Tricks & Tutorial
  • Contact

© 2022 The Programmer News Hubb All rights reserved.