Google системаи сахтафзор ва нармафзори Open Se Cura-ро муаррифӣ кард, ки ба содда кардани эҷоди микросхемаҳои бехатар барои ҳалли мушкилоти марбут ба омӯзиши мошинҳо ва зеҳни сунъӣ нигаронида шудааст. Лоиҳа системаи амалиётии CantripOS ва сахтафзорро дар бар мегирад, ки дар платформаи OpenTitan ва ядрои протсессори бар меъмории RISC-V асос ёфтааст. Ҳангоми таҳияи Open Se, Cura ва CantripOS бо номҳои Sparrow ва KataOS таҳия карда шуданд, аммо барои пешгирӣ кардани такрори дигар лоиҳаҳо, маҳсулоти ниҳоӣ номгузорӣ шуданд. Таҳияҳои лоиҳа, аз ҷумла рамзи сарчашмаи хидматҳои система ва схемаҳои RTL (Сатҳи интиқоли регистр) таҳти иҷозатномаи Apache 2.0 паҳн карда мешаванд.
Системаи оператсионии CantripOS ба микро ядрои seL4 асос ёфтааст, ки дар болои он муҳити система бо забони Rust навишта шудааст. Дар системаҳои RISC-V далели математикии эътимоднокӣ барои микроядрои seL4 пешниҳод карда мешавад, ки нишон медиҳад, ки код пурра ба мушаххасоти дар забони расмӣ зикршуда мувофиқат мекунад. Меъмории seL4 барои интиқоли қисмҳо барои идоракунии захираҳои ядро ба фазои корбар ва татбиқи ҳамон абзорҳои идоракунии дастрасӣ барои чунин захираҳо ба монанди захираҳои корбар намоён аст.
Микроядро барои идоракунии файлҳо, равандҳо, пайвастҳои шабакавӣ ва монанди инҳо абстраксияҳои сатҳи баландро таъмин намекунад; ба ҷои он, он танҳо механизмҳои ҳадди ақали назорати дастрасӣ ба фазои суроғаҳои физикӣ, халалҳо ва захираҳои протсессорро таъмин мекунад. Абстраксияҳои сатҳи баланд ва драйверҳо барои ҳамкорӣ бо сахтафзор дар болои микроядро дар шакли вазифаҳои сатҳи корбар алоҳида амалӣ карда мешаванд. Дастрасии чунин вазифаҳо ба захираҳои дастраси микроядро тавассути муайян кардани қоидаҳо ташкил карда мешавад.
Ҳама ҷузъҳои ОС, ба истиснои микроядро, аслан дар Rust бо истифода аз усулҳои барномасозии бехатар навишта шудаанд, ки хатогиҳоро ҳангоми кор бо хотира кам мекунанд. Дар байни чизҳои дигар, боркунаки барнома дар муҳити seL4, хидматҳои система, чаҳорчӯбаи таҳияи барномаҳо, API барои дастрасӣ ба зангҳои система, мудири раванд ва механизми тақсимоти динамикии хотира дар Rust навишта шудаанд.
Маҷмӯаи тасдиқшуда асбоби CAmkES-ро истифода мебарад, ки аз ҷониби лоиҳаи seL4 таҳия шудааст. Барои таҳияи барномаҳои ниҳоӣ, ки метавонанд тавассути хидматҳои система ба таври динамикӣ бор карда шаванд, пешниҳод карда мешавад, ки асбобҳои AmbiML SDK ва IREE (Intermediate Representation Execution Environment) барои идора кардани моделҳои омӯзиши мошинсозӣ истифода шаванд. Ҷузъҳои Rust ва хидматҳои системавӣ бо истифода аз чаҳорчӯбаи Cantrip таҳия карда мешаванд.
Дар байни самтҳои татбиқи платформа, микросхемаҳои махсусе зикр шудаанд, ки сатҳи махсуси муҳофизат ва тасдиқи набудани хатогиҳоро талаб мекунанд. Масалан, платформа метавонад дар маҳсулоти омӯзиши мошини марбут ба коркарди маълумоти махфӣ, ба монанди системаҳои шинохти одамон ва коркарди сабтҳои овозӣ истифода шавад. Якҷоя кардани ядрои системаи оператсионии аз ҷиҳати мантиқӣ санҷидашуда бо ҷузъҳои сахтафзори боэътимод (Решаи эътимод) кафолат медиҳад, ки агар як қисми система кор накунад, нокомӣ ба қисми боқимондаи система ва махсусан ба ядро ва қисмҳои муҳим паҳн намешавад.
Ба ғайр аз Google, ташкилоти ғайритиҷоратии lowRISC, ки ба таҳияи микропросессори ройгон дар асоси меъмории RISC-V назорат мекунад, инчунин ширкатҳои Antmicro ва VeriSilicon дар таҳияи асбобҳо ва унсурҳои инфрасохтор ширкат варзиданд. Протсессоре, ки аз ҷониби lowRISC таҳия шудааст, ҳамчун аслӣ барои сохтани ҷузъҳои сахтафзори боэътимод (Root of Trust) истифода шудааст. Antmicro лоиҳаро бо симулятори Renode таъмин кард, ки ба он имкон медиҳад CantripOS ва микро ядрои seL4-ро бидуни сахтафзори воқеӣ санҷад. VeriSilicon таҷрибаи худро дар соҳаи эҷоди чипҳо ва таҳияи BSP (Board Support Package) мубодила кард.
Манбаъ: opennet.ru
