Google reveals another experimental operating system: KataOS
(2022/10/17)
- Reference: 1666020612
- News link: https://www.theregister.co.uk/2022/10/17/google_kata_os/
- Source link:
Google, one of very few tech companies willing to experiment with new operating systems, has unveiled KataOS for embedded machine learning devices.
KataOS was [1]announced along with Sparrow on the Google Open Source [2]blog . KataOS is the operating system design and Sparrow is the reference implementation, as the [3]Weston display server is the reference implementation of Wayland.
The plan is that KataOS will be "a provably secure platform that's optimized for embedded devices that run ML applications." Google is working with Antmicro, which created the [4]seL4-sys crate. Currently the OS is being developed on the Arm64 instruction set, but the plan is to run it on [5]openTitan , which uses RISC-V.
[6]
The new operating system is "written almost entirely in Rust," according to its [7]introduction on GitHub. This excludes the underlying microkernel, which is [8]seL4 , something The Reg FOSS desk [9]mentioned when covering the experimental Neptune OS in February.
[10]
[11]
As seL4 is implemented mainly in C, the project uses [12]CAmkES – component architecture for microkernel based embedded systems, which uses Haskell and Python – as an [13]abstraction layer to join the C and Rust layers together.
Microkernels were seen as the Next Big Thing back in the 1980s. Although they haven't had a lot of mainstream impact, they are out there in large numbers. Minix 3, by [14]OG Linux critic Dr Andy Tanenbaum , is a successful FOSS microkernel used in the system management controller in [15]millions of Intel CPUs . QNX, the basis for Blackberry 10 and [16]the money-making bit of Blackberry , is a best-selling commercial microkernel.
[17]Linux kernel 6.1 will contain fixes, features. Useful Rust modules? Not yet
[18]Linux 6.1: Rust to hit mainline kernel
[19]Is it time to retire C and C++ for Rust in new programs?
[20]Rust is eating into our systems, and it's a good thing
The one you're most likely to have seen or used is doubtless Apple's macOS (formerly Mac OS X, and before that NeXTstep), which is based on the open source [21]XNU kernel. This is based on Carnegie Mellon University's Mach, one of the first generation of microkernels, but XNU has a large in-kernel "Unix server" based on FreeBSD code, so it's technically a hybrid kernel rather than a pure microkernel.
Security Enhanced L4, or seL4 for short, is a member of the greater [22]L4 family , which was specifically designed by the late [23]Jochen Liedtke [PDF] in response to Mach, with the goal of improving microkernel performance. It has been around for a good while – The Reg [24]was reporting on it nearly a decade ago.
[25]
Yes, it's possible that this Sparrow may fall off its perch. It's a new contender for the Google [26]graveyard , along with the [27]recently axed Stadia game streaming platform , which we accurately [28]called when it launched .
But on the other hand, the baseline for success for a very niche system such as this is lower than for a more general-purpose OS. Of previous Google OS efforts, [29]the best known is Fuchsia , which the company [30]did end up shipping . ®
Get our [31]Tech Resources
[1] https://opensource.googleblog.com/2022/10/announcing-kataos-and-sparrow.html
[2] https://opensource.googleblog.com/
[3] https://www.theregister.com/2021/04/23/wslg_first_look/
[4] https://antmicro.com/blog/2022/08/running-rust-programs-in-sel4/
[5] https://opentitan.org/
[6] https://pubads.g.doubleclick.net/gampad/jump?co=1&iu=/6978/reg_software/oses&sz=300x50%7C300x100%7C300x250%7C300x251%7C300x252%7C300x600%7C300x601&tile=2&c=2Y018F6dUjYSNl@NOT8LwJgAAAJI&t=ct%3Dns%26unitnum%3D2%26raptor%3Dcondor%26pos%3Dtop%26test%3D0
[7] https://github.com/AmbiML/sparrow-manifest
[8] https://sel4.systems/
[9] https://www.theregister.com/2022/02/24/neptune_os_sel4_windows/
[10] https://pubads.g.doubleclick.net/gampad/jump?co=1&iu=/6978/reg_software/oses&sz=300x50%7C300x100%7C300x250%7C300x251%7C300x252%7C300x600%7C300x601&tile=4&c=44Y018F6dUjYSNl@NOT8LwJgAAAJI&t=ct%3Dns%26unitnum%3D4%26raptor%3Dfalcon%26pos%3Dmid%26test%3D0
[11] https://pubads.g.doubleclick.net/gampad/jump?co=1&iu=/6978/reg_software/oses&sz=300x50%7C300x100%7C300x250%7C300x251%7C300x252%7C300x600%7C300x601&tile=3&c=33Y018F6dUjYSNl@NOT8LwJgAAAJI&t=ct%3Dns%26unitnum%3D3%26raptor%3Deagle%26pos%3Dmid%26test%3D0
[12] https://docs.sel4.systems/projects/camkes/
[13] https://hensoldt-cyber.com/2021/07/02/easy-component-based-system-design-with-camkes/
[14] https://www.theregister.com/2004/05/20/tanenbaum_on_adti_brown/
[15] https://www.theregister.com/2017/12/06/intel_management_engine_pwned_by_buffer_overflow
[16] https://www.theregister.com/2015/02/18/qnx_hypervisor/
[17] https://www.theregister.com/2022/10/14/kernel_61_will_contain_fixes/
[18] https://www.theregister.com/2022/10/05/rust_kernel_pull_request_pulled/
[19] https://www.theregister.com/2022/09/28/is_it_time_to_retire_c/
[20] https://www.theregister.com/2022/09/26/rust_column/
[21] https://github.com/apple-oss-distributions/xnu
[22] https://en.wikipedia.org/wiki/L4_microkernel_family
[23] https://os.itec.kit.edu/downloads/in-memoriam-jochen-liedtke_en.pdf
[24] https://www.theregister.com/2014/07/28/aussie_droneprotecting_hackerdetecting_kernel_goes_open_source/
[25] https://pubads.g.doubleclick.net/gampad/jump?co=1&iu=/6978/reg_software/oses&sz=300x50%7C300x100%7C300x250%7C300x251%7C300x252%7C300x600%7C300x601&tile=4&c=44Y018F6dUjYSNl@NOT8LwJgAAAJI&t=ct%3Dns%26unitnum%3D4%26raptor%3Dfalcon%26pos%3Dmid%26test%3D0
[26] https://killedbygoogle.com/
[27] https://www.theregister.com/2022/09/29/google_shuts_down_stadia/
[28] https://www.theregister.com/2019/03/19/google_stadia_games_streams/
[29] https://www.theregister.com/2019/07/03/googles_fuchsia_os_flutters_into_view/
[30] https://www.theregister.com/2021/05/25/google_fuchsia_lands_on_nest/
[31] https://whitepapers.theregister.com/
KataOS was [1]announced along with Sparrow on the Google Open Source [2]blog . KataOS is the operating system design and Sparrow is the reference implementation, as the [3]Weston display server is the reference implementation of Wayland.
The plan is that KataOS will be "a provably secure platform that's optimized for embedded devices that run ML applications." Google is working with Antmicro, which created the [4]seL4-sys crate. Currently the OS is being developed on the Arm64 instruction set, but the plan is to run it on [5]openTitan , which uses RISC-V.
[6]
The new operating system is "written almost entirely in Rust," according to its [7]introduction on GitHub. This excludes the underlying microkernel, which is [8]seL4 , something The Reg FOSS desk [9]mentioned when covering the experimental Neptune OS in February.
[10]
[11]
As seL4 is implemented mainly in C, the project uses [12]CAmkES – component architecture for microkernel based embedded systems, which uses Haskell and Python – as an [13]abstraction layer to join the C and Rust layers together.
Microkernels were seen as the Next Big Thing back in the 1980s. Although they haven't had a lot of mainstream impact, they are out there in large numbers. Minix 3, by [14]OG Linux critic Dr Andy Tanenbaum , is a successful FOSS microkernel used in the system management controller in [15]millions of Intel CPUs . QNX, the basis for Blackberry 10 and [16]the money-making bit of Blackberry , is a best-selling commercial microkernel.
[17]Linux kernel 6.1 will contain fixes, features. Useful Rust modules? Not yet
[18]Linux 6.1: Rust to hit mainline kernel
[19]Is it time to retire C and C++ for Rust in new programs?
[20]Rust is eating into our systems, and it's a good thing
The one you're most likely to have seen or used is doubtless Apple's macOS (formerly Mac OS X, and before that NeXTstep), which is based on the open source [21]XNU kernel. This is based on Carnegie Mellon University's Mach, one of the first generation of microkernels, but XNU has a large in-kernel "Unix server" based on FreeBSD code, so it's technically a hybrid kernel rather than a pure microkernel.
Security Enhanced L4, or seL4 for short, is a member of the greater [22]L4 family , which was specifically designed by the late [23]Jochen Liedtke [PDF] in response to Mach, with the goal of improving microkernel performance. It has been around for a good while – The Reg [24]was reporting on it nearly a decade ago.
[25]
Yes, it's possible that this Sparrow may fall off its perch. It's a new contender for the Google [26]graveyard , along with the [27]recently axed Stadia game streaming platform , which we accurately [28]called when it launched .
But on the other hand, the baseline for success for a very niche system such as this is lower than for a more general-purpose OS. Of previous Google OS efforts, [29]the best known is Fuchsia , which the company [30]did end up shipping . ®
Get our [31]Tech Resources
[1] https://opensource.googleblog.com/2022/10/announcing-kataos-and-sparrow.html
[2] https://opensource.googleblog.com/
[3] https://www.theregister.com/2021/04/23/wslg_first_look/
[4] https://antmicro.com/blog/2022/08/running-rust-programs-in-sel4/
[5] https://opentitan.org/
[6] https://pubads.g.doubleclick.net/gampad/jump?co=1&iu=/6978/reg_software/oses&sz=300x50%7C300x100%7C300x250%7C300x251%7C300x252%7C300x600%7C300x601&tile=2&c=2Y018F6dUjYSNl@NOT8LwJgAAAJI&t=ct%3Dns%26unitnum%3D2%26raptor%3Dcondor%26pos%3Dtop%26test%3D0
[7] https://github.com/AmbiML/sparrow-manifest
[8] https://sel4.systems/
[9] https://www.theregister.com/2022/02/24/neptune_os_sel4_windows/
[10] https://pubads.g.doubleclick.net/gampad/jump?co=1&iu=/6978/reg_software/oses&sz=300x50%7C300x100%7C300x250%7C300x251%7C300x252%7C300x600%7C300x601&tile=4&c=44Y018F6dUjYSNl@NOT8LwJgAAAJI&t=ct%3Dns%26unitnum%3D4%26raptor%3Dfalcon%26pos%3Dmid%26test%3D0
[11] https://pubads.g.doubleclick.net/gampad/jump?co=1&iu=/6978/reg_software/oses&sz=300x50%7C300x100%7C300x250%7C300x251%7C300x252%7C300x600%7C300x601&tile=3&c=33Y018F6dUjYSNl@NOT8LwJgAAAJI&t=ct%3Dns%26unitnum%3D3%26raptor%3Deagle%26pos%3Dmid%26test%3D0
[12] https://docs.sel4.systems/projects/camkes/
[13] https://hensoldt-cyber.com/2021/07/02/easy-component-based-system-design-with-camkes/
[14] https://www.theregister.com/2004/05/20/tanenbaum_on_adti_brown/
[15] https://www.theregister.com/2017/12/06/intel_management_engine_pwned_by_buffer_overflow
[16] https://www.theregister.com/2015/02/18/qnx_hypervisor/
[17] https://www.theregister.com/2022/10/14/kernel_61_will_contain_fixes/
[18] https://www.theregister.com/2022/10/05/rust_kernel_pull_request_pulled/
[19] https://www.theregister.com/2022/09/28/is_it_time_to_retire_c/
[20] https://www.theregister.com/2022/09/26/rust_column/
[21] https://github.com/apple-oss-distributions/xnu
[22] https://en.wikipedia.org/wiki/L4_microkernel_family
[23] https://os.itec.kit.edu/downloads/in-memoriam-jochen-liedtke_en.pdf
[24] https://www.theregister.com/2014/07/28/aussie_droneprotecting_hackerdetecting_kernel_goes_open_source/
[25] https://pubads.g.doubleclick.net/gampad/jump?co=1&iu=/6978/reg_software/oses&sz=300x50%7C300x100%7C300x250%7C300x251%7C300x252%7C300x600%7C300x601&tile=4&c=44Y018F6dUjYSNl@NOT8LwJgAAAJI&t=ct%3Dns%26unitnum%3D4%26raptor%3Dfalcon%26pos%3Dmid%26test%3D0
[26] https://killedbygoogle.com/
[27] https://www.theregister.com/2022/09/29/google_shuts_down_stadia/
[28] https://www.theregister.com/2019/03/19/google_stadia_games_streams/
[29] https://www.theregister.com/2019/07/03/googles_fuchsia_os_flutters_into_view/
[30] https://www.theregister.com/2021/05/25/google_fuchsia_lands_on_nest/
[31] https://whitepapers.theregister.com/