머신러닝 워크로드에 중점을 둔 런타임 환경에 중점을 둔 임베디드 기기용 운영체제인 구글 카타OS(Google KataOS)가 주말에 출시되었습니다.
KataOS는 seL4 마이크로 커널을 기반으로 하며 보안을 염두에 두고 만들어졌습니다. Rust 프로그래밍 언어를 완전히 사용합니다.
Netflix 광고 지원 요금제가 11월 1일에 나온다는 사실을 알고 계십니까?
구글 카타OS란?
Google은 KataOS 운영 체제를 발표했습니다. 이 시스템의 목적은 임베디드 장치에 대한 보안 솔루션을 제공하는 것입니다. 주변 환경에서 데이터를 수집하고 분석하는 더 많은 스마트 장치가 있습니다. Google에 따르면 이러한 가제트는 보안 위협에 더 취약합니다. 결과적으로 임베디드 하드웨어를 위한 검증 가능한 보안 시스템인 간단한 솔루션이 필요합니다. 우리 주변의 기술이 데이터를 안전하게 유지하기 위해 수학적으로 증명할 수 없다면 문제가 있습니다. 수집한 데이터가 외부 공격자에게 취약할 수 있기 때문입니다. 이는 바이러스가 사진, 오디오 녹음, 영화 및 기타 데이터를 훔칠 수 있음을 의미합니다. 구글이 강제로 KataOS를 도입한 이유입니다.
Google KataOS의 주요 사용 사례는 스마트 기기, 특히 머신 러닝 애플리케이션을 실행하는 임베디드 하드웨어의 증가입니다. 업계는 현재 RISC-V에 대한 관심이 높아지고 있으며 CPU 아키텍처 지원은 Google KataOS의 주요 우선 순위입니다.
Google은 오픈 소스 블로그에서 다음과 같이 발표했습니다.
“이 새로운 운영 체제의 기반으로 seL4를 마이크로커널로 선택했습니다. 보안을 최우선으로 하기 때문입니다. 보안, 무결성 및 가용성이 보장되어 수학적으로 안전한 것으로 입증되었습니다. seL4 CAmkES 프레임워크를 통해 우리는 또한 정적으로 정의되고 분석 가능한 시스템 구성 요소를 제공할 수 있습니다. Google KataOS는 응용 프로그램이 커널의 하드웨어 보안 보호를 위반하는 것이 논리적으로 불가능하고 시스템 구성 요소가 검증 가능하게 안전하기 때문에 사용자의 개인 정보를 보호하는 검증 가능한 보안 플랫폼을 제공합니다. KataOS는 또한 하나씩 오류 및 버퍼 오버플로와 같은 버그의 전체 클래스를 제거하므로 소프트웨어 보안을 위한 강력한 출발점을 제공하는 Rust로 거의 완전히 구현됩니다.”
현재 GitHub 릴리스에는 Rust용 프레임워크(seL4 시스템 호출 API를 제공하는 sel4-sys crate 등), Rust로 작성된 대체 루트 서버(동적 시스템 전체 RAM 필요 관리), 루트 서버에서 사용하는 RAM을 회수하기 위해 seL4에 대한 커널 수정. “
자세한 내용은 Google의 오픈 소스 블로그를 확인하세요. GitHub에서 관련 프로젝트의 진행 상황을 볼 수도 있습니다. 또 다른 Google 프로젝트에 대한 이 뉴스를 환영했다면 이 멋진 Google 뉴스를 확인하세요. Google은 10억 파운드의 경기장 명명권 거래를 위해 Tottenham과 협상 중입니다.
KataOS는 타사 앱을 실행합니다.
Google은 Antmicro와도 협력합니다. 파트너십을 통해 Renode를 사용하여 대상 장치에서 GDB를 에뮬레이트하고 디버그할 수 있습니다. 내부적으로 KataOS에는 타사 프로그램을 동적으로 로드하고 실행할 수 있는 기능이 있습니다. CAmkES 구조 외부에서 생성된 프로그램도 이 구조에서 실행할 수 있습니다. 이러한 앱을 실행하는 데 필요한 구성 요소는 아직 Github 소스에 없습니다. 그러나 Google은 이러한 작업을 곧 제공할 계획입니다.
또한 Google은 KataOS용 참조 구현인 Sparrow를 만들었습니다. Sparrow는 보안 환경 시스템을 완벽하게 보여주기 위해 만들어졌습니다. 안전한 하드웨어 플랫폼을 갖추고 있으며 KataOS를 실행합니다. RISC-V 아키텍처에서 Sparrow는 보안이 입증된 신뢰 루트를 제공합니다. 보안 운영 체제 커널과 함께 이것이 존재합니다. 그럼에도 불구하고 Google은 KataOS의 초기 릴리스에 QEMU 에뮬레이션을 사용할 계획입니다. 이 에뮬레이터는 더 널리 사용되는 64비트 ARM 시스템을 작동하는 데 사용됩니다.
Source: Google KataOS 시스템 설명
