Google ṣe afihan ohun elo Open Se Cura hardware ati eto sọfitiwia, ti o pinnu lati ṣe irọrun ẹda ti awọn eerun to ni aabo ti a ṣe lati yanju awọn iṣoro ti o ni ibatan si ikẹkọ ẹrọ ati oye atọwọda. Ise agbese na pẹlu ẹrọ iṣẹ CantripOS ati ohun elo ti o da lori ipilẹ OpenTitan ati ipilẹ ero isise ti o da lori faaji RISC-V. Lakoko idagbasoke Open Se, Cura ati CantripOS ni idagbasoke labẹ awọn orukọ Sparrow ati KataOS, ṣugbọn lati yago fun ni lqkan pẹlu awọn iṣẹ akanṣe miiran, awọn ọja ti o kẹhin ti tun lorukọ. Awọn idagbasoke iṣẹ akanṣe naa, pẹlu koodu orisun ti awọn iṣẹ eto ati awọn ero RTL (Ipele Gbigbe Forukọsilẹ), ti pin labẹ iwe-aṣẹ Apache 2.0.
Ẹrọ iṣẹ CantripOS da lori seL4 microkernel, lori oke eyiti agbegbe eto ti a kọ sinu ede Rust n ṣiṣẹ. Lori awọn eto RISC-V, ẹri mathematiki ti igbẹkẹle ti pese fun seL4 microkernel, ti o nfihan pe koodu naa ni kikun ni ibamu pẹlu awọn pato pato ninu ede ti o ṣe deede. Awọn faaji seL4 jẹ ohun akiyesi fun gbigbe awọn ẹya fun ṣiṣakoso awọn orisun ekuro sinu aaye olumulo ati lilo awọn irinṣẹ iṣakoso iwọle kanna fun iru awọn orisun bii fun awọn orisun olumulo.
Microkernel ko pese awọn abstractions ipele ti o ti ṣetan fun ṣiṣakoso awọn faili, awọn ilana, awọn asopọ nẹtiwọọki, ati bii dipo, o pese awọn ọna ṣiṣe to kere julọ fun iṣakoso iraye si aaye adirẹsi ti ara, awọn idilọwọ, ati awọn orisun ero isise. Awọn abstractions ipele giga ati awọn awakọ fun ibaraenisepo pẹlu ohun elo jẹ imuse lọtọ lori oke microkernel ni irisi awọn iṣẹ-ṣiṣe ipele olumulo. Wiwọle ti iru awọn iṣẹ-ṣiṣe si awọn orisun ti o wa si microkernel ti ṣeto nipasẹ itumọ awọn ofin.
Gbogbo awọn paati OS, ayafi microkernel, ni akọkọ ti kọ sinu ipata nipa lilo awọn ilana siseto ailewu ti o dinku awọn aṣiṣe nigba ṣiṣẹ pẹlu iranti. Ninu awọn ohun miiran, agberu ohun elo ni agbegbe EL4, awọn iṣẹ eto, ilana idagbasoke ohun elo, API kan fun iwọle si awọn ipe eto, oluṣakoso ilana, ati ẹrọ ipin iranti iranti ti o ni agbara ni a kọ sinu Rust.
Apejọ ti a rii daju nlo ohun elo irinṣẹ CAmkES, ti o dagbasoke nipasẹ iṣẹ akanṣe seL4. Lati ṣe agbekalẹ awọn ohun elo ipari ti o le jẹ ti kojọpọ nipasẹ awọn iṣẹ eto, o ni imọran lati lo AmbiML SDK, ati IREE (Ayika Ipaniyan Agbedemeji) ohun elo irinṣẹ lati ṣiṣẹ awọn awoṣe ikẹkọ ẹrọ. Awọn paati ipata ati awọn iṣẹ eto jẹ idagbasoke ni lilo awọn ilana Cantrip.
Lara awọn agbegbe ti ohun elo ti Syeed, awọn eerun amọja ti mẹnuba ti o nilo ipele pataki ti aabo ati ijẹrisi ti isansa ti awọn ikuna. Fun apẹẹrẹ, pẹpẹ le ṣee lo ni awọn ọja ikẹkọ ẹrọ ti o ni ibatan si sisẹ alaye aṣiri, gẹgẹbi awọn eto fun idanimọ eniyan ati ṣiṣe awọn gbigbasilẹ ohun. Apapọ ekuro eto iṣẹ ṣiṣe ti o ni idaniloju pẹlu awọn paati ohun elo ti o ni igbẹkẹle (Root of Trust) ṣe idaniloju pe ti apakan kan ti eto ba kuna, ikuna naa kii yoo tan kaakiri eto iyokù ati, ni pataki, si ekuro ati awọn ẹya pataki.
Ni afikun si Google, ile-iṣẹ ti kii ṣe èrè lowRISC, eyiti o nṣe abojuto idagbasoke ti microprocessor ọfẹ ti o da lori faaji RISC-V, ati awọn ile-iṣẹ Antmicro ati VeriSilicon, ṣe alabapin ninu idagbasoke awọn irinṣẹ ati awọn eroja amayederun. Awọn ero isise ti o ni idagbasoke nipasẹ lowRISC ni a lo bi ipilẹ fun kikọ awọn ohun elo ohun elo ti o ni igbẹkẹle (Root of Trust). Antmicro pese iṣẹ akanṣe pẹlu simulator Renode ti o fun laaye laaye lati ṣe idanwo CantripOS ati microkernel seL4 laisi ohun elo gidi. VeriSilicon pin iriri rẹ ni aaye ti ẹda chirún ati idagbasoke BSP (Package Support Board).
orisun: opennet.ru
