Genode

Genode este un cadru de sistem de operare open source care extinde kernelurile existente (de exemplu, microkernel sau hypervisor) și oferă un API uniform pentru aplicații.

În prezent, L4 / Fiasco și Linux sunt acceptate.

Ce este nou în această versiune:

> Grafică accelerată hardware pentru GPU-uri Intel Gen-8

kernel-ul seL4 pe hardware-ul ARM și pe 64 de biți x86

Cadru de bază și infrastructură la nivel de sistem:

Manipularea simplificată a IOMMU

Server de rapoarte noi pentru captarea rapoartelor în fișiere

Un nou mediu de rulare pentru pornirea secvențială a componentelor

Suport pentru tampon de cadru inițializat de pornire

Operație extinsă de blocare a VFS

Efectuarea sesiunilor de blocare numai în citire în mod implicit

Manipularea rafinată a timpului

Plugin VFS bazat pe FatFS

primitive GUI îmbunătățite

runtime C

Biblioteci și aplicații:

ajustări Mesa

Managementul pachetelor

platforme:

Genode ca Domeniu Xen

Executarea pe hardware goal (bază-hw)

nucleul de separare Muen

microhidrospervizor NOVA

Ce este nou în versiunea 17.05:

• Cadru de bază:
• Noua revizuire a cărții Genode Foundations
• Trecerea componentă completă la API-ul modern
• Optimizarea tipurilor de excepții
• Alocarea și tranzacționarea cotelor de capacitate
• Au fost combinate serviciile RAM și PD ale componentei principale
• Execuția explicită a constructorilor statici
• Separarea semnalelor I / O de la semnalele la nivel de aplicație
• Biblioteci și componente la nivel de sistem:
• Gestionarea dinamică a resurselor și redirecționarea serviciilor prin init
• API nou pentru sincronizarea la nivel de utilizator
• Notificări în bandă în sesiunea de sistem de fișiere
• Afișarea încărcării procesorului bazată pe jurnal
• Monitorizarea traficului în rețea
• Profilul POSIX libc ca bibliotecă partajată
• Raportarea de stat a componentelor la nivel de dispozitiv de blocare
• Runtime și aplicații:
• Completarea caracteristică a VirtualBox 5 pe NOVA
• Limba de programare Nim
• Qt5 actualizat la versiunea 5.8
• platforme:
• Executarea pe hardware goal (bază-hw)
• Actualizarea kernel-ului de separare Muen
• Actualizarea kernel-ului Fiasco.OC
• Lant de unelte:
• Colecția de compilatoare GNU (GCC) 6.3, inclusiv suportul Ada
• Versiuni separate de depanare a executabililor construiți

Ce este nou în versiunea 13.11:

• Cadru de bază:
• Echilibrarea dinamică a resurselor
• C ++ 11 activat în mod implicit
• Urmărirea îmbunătățită a evenimentelor
• Infrastructură de sistem de nivel scăzut:
• Rețele Gigabit folosind stivă Linux TCP / IP
• Serverul GUI imbunatatit
• Noi servicii de terminal
• Server nou pentru sisteme de fișiere pentru sistemele hibride Genode / Linux
• Un nou plugin C-runtime pentru accesarea dispozitivelor bloc
• Drivere de dispozitiv:
• Graphics și USB HID pentru zmeura Pi
• HDMI pentru Samsung Exynos 5
• Aplicații și biblioteci:
• Qt5 cu suport pentru OpenGL și QML
• Sisteme noi de fișiere bazate pe FUSE
• Portul DosBox
• Medii runtime:
• Funcții de depanare GNU avansate
• Suportul ARM TrustZone pe platforma Freescale i.MX53
• platforme:
• Base-HW activat pentru încărcări dinamice
• Gestionarea duratei de viață a obiectului kernel pe NOVA
• Suport pentru baloane pentru L4Linux care rulează pe Fiasco.OC

Ce este nou în versiunea 13.08:

• Eliberarea versiunii 13.08 marchează cea de-a 5-a aniversare a cadrului OS Genode. Sărbăm această aniversare cu adăugarea a trei caracteristici majore pe care le-am dorit mult, și anume portul Qt5 până la Genode, un suport profund multiprocesor și un cadru ușor de urmărire a evenimentelor. În plus, noua versiune vine cu drivere noi de dispozitive pentru SATA 3.0 și managementul consumului de energie pentru Exynos-5 SoC, suport îmbunătățit pentru virtualizare pe NOVA pe x86, kerneluri actualizate și verificări de integritate pentru codul sursă descărcat de la terți.
• Pe parcursul ultimilor cinci ani, dezvoltarea lui Genode a fost motivată în primul rând prin adăugarea și cultivarea unor caracteristici care să facă cadrul potrivit pentru cât mai multe domenii de aplicare posibil. Acum, că avem o masă critică de caracteristici, accentul pus pe simpla funcționalitate nu mai este suficient. Întrebarea cu privire la ceea ce Genode se poate face în cele din urmă se transformă în întrebarea cât de bine Genode poate face ceva: Cât de stabil este un anumit volum de muncă? Cum funcționează rețeaua? Cum se adaptează sistemele multiprocesor? Pentru că nu avem răspunsuri concise la astfel de întrebări, trebuie să investigăm.
• Când vorbim despre stabilitate, infrastructura noastră de testare automată recent introdusă ne face mai încrezători decât oricând. În fiecare noapte, se efectuează peste 200 de teste automate, care acoperă diferite kerneluri și mai multe platforme hardware. Toate aceste teste sunt disponibile public sub formă de așa-numite scripturi de rulare și sunt în continuă dezvoltare.
• În ceea ce privește anchetele privind performanța, recent am început să evaluăm performanța aplicațiilor concentrându-ne pe performanța rețelei. Interesant este faptul că măsurătorile noastre arată diferențe semnificative între nucleele folosite, dar și deficiențele din stiva noastră de software. De exemplu, în prezent vedem că versiunea noastră de lwIP se comportă prost cu rețele de gigabit. Pentru a investiga temeinic astfel de probleme de performanță, versiunea curentă adaugă suport pentru urmărirea comportamentului componentelor Genode. Acest lucru ne va permite să înțelegem în profunzime întreaga interacțiune inter-componentă care se află pe calea critică pentru realizarea unor sarcini complexe la nivel de aplicație. Datorită arhitecturii Genode, am putea să vină cu un design incredibil de simplu, dar puternic pentru o facilitate de urmărire. Secțiunea Urmărirea evenimentelor ușoare explică modul în care funcționează.
• Când vine vorba de scalabilitatea cu mai multe procesoare, am obișnuit să ne îndepărtăm de astfel de anchete, deoarece, sincer, nu am acordat multă atenție. Această viziune sa schimbat până acum. Cu versiunea curentă, am implementat managementul afinităților procesorului chiar în inima cadrului, adică conceptul de sesiune al lui Genode. În plus, am spart o piuliță greu de tare, permițând Genode să utilizeze mai multe CPU-uri pe hypervisor NOVA. Acest kernel este de departe cel mai avansat microkernel Open-Source pentru arhitectura x86. Cu toate acestea, modelul MP ​​al NOVA părea inerent contradictoriu cu designul API al Genode. Din fericire, am găsit o modalitate destul de elegantă de a merge înainte și suntem capabili să îmblânzi fiarei. Secțiunea Suportul multiprocesor îmbunătățit merge mai detaliat.
• Din punct de vedere funcțional, am considerat întotdeauna că disponibilitatea Qt pe Genode reprezintă un avantaj important. Cu versiunea curentă, suntem bucuroși să anunțăm că am făcut în cele din urmă trecerea de la Qt4 la Qt5. Secțiunea Qt5 disponibilă pe toate kernelurile oferă informații despre provocările cu care ne-am confruntat în timpul procesului de portare.
• În plus față de cele mai importante, noua versiune vine cu îmbunătățiri peste tot. Pentru a numi câteva, există suport îmbunătățit pentru firele POSIX, drivere actualizate de dispozitive, o versiune actualizată a kernel-ului Fiasco.OC și L4Linux și drivere noi de dispozitive pentru Exynos-5. În cele din urmă, a fost abordată problema verificării integrității codurilor sursă descărcate terță parte.

Ce este nou în versiunea 12.11:

Tema centrală a versiunii 12.11 a Genode OS Framework este auto-găzduirea Genode pe Genode. Cu auto-găzduire, înțelegem execuția întregului sistem de construcție Genode în mediul Genode. Există două motivații pentru căutarea acestei linii de lucru. În primul rând, este o condiție fundamentală pentru dezvoltatorii Genode de a se deplasa spre folosirea Genode ca un sistem de operare de zi cu zi. Desigur, această condiție prealabilă ar putea fi realizată utilizând una dintre soluțiile de virtualizare disponibile. De exemplu, am putea rula L4Linux pe Genode pe kernelul Fiasco.OC și să folosim sistemul Genode din cadrul unei instanțe L4Linux. Cu toate acestea, acest lucru învinge stimulentul primar din spatele Genode pentru a reduce complexitatea sistemului. Prin faptul că avem atât imaginile Genode, cât și L4Linux, vom crește într-adevăr complexitatea generală în configurarea, menținerea și utilizarea sistemului. Prin urmare, am prefera în mare măsură să eliminăm terenul complex al utilizatorului Linux din imagine. Cea de-a doua motivație este de a dovedi că platforma de bază și platformele de bază sunt adecvate și suficient de stabile pentru utilizarea în lumea reală.Dacă sistemul nu este capabil să gestioneze un volum de lucru cum ar fi sistemul de construcție, este puțin important să ne gândim la valoarea adăugată a unui sistem bazat pe microkernel peste sistemele de operare actuale de mărfuri, cum ar fi GNU / Linux.

Suntem bucuroși să ajungem la starea în care putem executa sistemul de construcție Genom nemodificat direct pe Genode care rulează pe un microkernel. Dat fiind că sistemul de construire se bazează pe utilitarele GNU și colecția de compilatoare GNU, efortul semnificativ a intrat în adezivul dintre aceste instrumente și API-ul Genode. Secțiunea Generarea de clase pe Genode oferă informații despre felul în care am atins scopul și starea curentă a afacerilor.

Odată cu lucrul la aducerea sistemului de construcție la Genode au apărut numeroase îmbunătățiri de stabilitate și optimizări peste tot, ajungând de la nucleele respective, peste timpul de execuție C, implementările sistemului de fișiere, alocatorii de memorie, până la programele reale lanțul de scule este compus din. Vorbind despre lanțul de scule, lanțul oficial Genode a fost actualizat de la GCC versiunea 4.6.1 până la versiunea 4.7.2. Astfel, toate pachetele de coduri terțe părți au fost supuse activităților de testare și de fixare.

Pentru rularea sistemului de construire, proiectul se concentrează în prezent pe platformele de bază NOVA și Fiasco.OC. Cu toate acestea, platforma noastră personalizată de kernel pentru arhitectura ARM a primit de asemenea îmbunătățiri semnificative. Cu sprijin suplimentar pentru Freescale i.MX și Texas Instruments OMAP4, această platformă sa dovedit a fi foarte bine adaptată noilor SoC, în timp ce manipularea cache-ului nou aduce îmbunătățiri de performanță binevenite. În plus, am adăugat suport experimental pentru tehnologia ARM TrustZone, care permite în principal executarea Genode în așa-zisa lume sigură a TrustZone în timp ce execută Linux în așa-numita lume normală.

Pe măsură ce am descoperit interesul din ce în ce mai mare de a folosi Genode ca o soluție middleware pe Linux, am revizuit în mare măsură suportul pentru această platformă de kernel și am descoperit modalități uimitoare de a alinia conceptul Genode cu mecanismele furnizate de kernel-ul Linux. Secțiunea Linux oferă un rezumat al noilor abordări luate pentru susținerea acestei platforme.

Funcționalitate, noua versiune introduce suport pentru driverele audio ale Open Sound System, un nou driver OMAP4 GPIO, îmbunătățiri ale terminalului grafic și portul inițial al unui client SSH.

Ce este nou în versiunea 12.08:

• Cu Genode 12.08, proiectul sa axat pe suportul platformei. Acesta intră în lumea platformelor ARM bazate pe OMAP4, a reînviat și a îmbunătățit considerabil suportul pentru hypervisor NOVA și devine capabil să ruleze direct pe platformele ARM fără a fi nevoie de un kernel de bază.
• Noua platformă de bază-hw este o abatere de la abordarea tradițională a Genode, care completează nucleele existente cu infrastructura utilizatorilor-teren. Acesta lasă complet nucleul separat din imagine și, prin urmare, pune la baza linia de bază a bazei de calcul de încredere a sistemelor bazate pe Genode la aproximativ jumătate. Noua platformă de bază este descrisă în secțiunea Genode pe hardware-ul ARM gol.
• Vorbind despre platformele de bază, suntem bucuroși să promovăm hypervisor NOVA unui cetățean de primă clasă printre platformele de bază. În ultimele luni, acest kernel a suferit schimbări fundamentale în ceea ce privește modul de dezvoltare și setul său de caracteristici. Acest lucru ne-a determinat să îmbunătățim considerabil suportul Genode pentru această platformă și să folosim caracteristicile sale unice. Dacă se ia în considerare utilizarea Genode pe hardware-ul x86, NOVA a devenit o fundație foarte atractivă. Secțiunea Îmbrățișând Hypervisorul NOVA descrie modificările specifice NOVA.
• Îmbunătățirea suportului de platformă cu versiunea actuală nu implică numai platformele de bază, ci se extinde la adaosuri profunde ale driverelor de dispozitive, în special pentru OMAP4 SoC bazat pe ARM, așa cum este folosit pe popularul Pandaboard. Suntem mândri să anunțăm disponibilitatea driverelor de dispozitive pentru ieșirea HDMI, cardul SD, USB HID și crearea de rețele pentru această platformă.
• Dincolo de îmbunătățirile platformei de nivel scăzut, noua versiune vine cu mai multe servicii noi, optimizări ale componentelor existente și noi biblioteci portate. În special, timpul de execuție Noux a atins un punct în care putem executa în principal aplicații serioase de rețea, cum ar fi browser-ul web Lynx, pe Genode. Un alt exemplu este noul serviciu de fișiere bazat pe FFAT, care face stocarea permanentă disponibilă prin intermediul interfeței de fișiere Genode. Prin combinarea acestui nou serviciu cu componentele existente, cum ar fi serviciul de partiții, Noux sau pluginul de sistem pentru fișiere din libc, devin disponibile multe scenarii de aplicații noi. Datorită acestor noi componente, framework-ul a fost capabil să efectueze depanarea pe țintă prin GDB care rulează în Noux sau să găzduiască site-ul genode.org prin serverul web lighttpd.

Ce este nou în versiunea 12.02:

• Eliberarea Genode 12.02 marchează un punct interesant în istoria proiectului, deoarece este prima versiune dezvoltată în aer liber, nu în interiorul camerelor Genode Labs. Astfel, am acceptat GitHub ca facilitate centrală pentru discuții și managementul codului sursă. Această modificare are avantaje atât pentru utilizatori, cât și pentru dezvoltatori ai cadrului. Pentru utilizatori, a devenit posibil să se țină cont de cele mai recente evoluții utilizând secția genodelabs / master și să se implice în discutarea activităților curente. Pentru dezvoltatorii obișnuiți de Genode, depozitul public Git înlocuiește un amestec anterior de depozite publice Subversion și internă Mercurial, ceea ce face viața mult mai ușoară. În Secțiunea Eliberarea procesului de dezvoltare, subliniem motivația din spatele acestei schimbări și oferim indicații cu privire la noile resurse.
• Cele mai importante adăugări noi ale sistemului de bază sunt un nou API-cadru pentru accesarea resurselor I / O mapate în memorie, un suport special pentru utilizarea Genode ca cadru de componente la nivel de utilizator pe Linux și suport API pentru reutilizarea componentelor existente în forma de biblioteci sandboxed. Aceste modificări sunt însoțite de o nouă infrastructură pentru driverele de dispozitive, cum ar fi prima versiune a unui manager de dispozitiv și un nou parser ACPI.
• Funcțional, versiunea actuală ia primii pași spre obiectivul Foii de parcurs pentru 2012, transformând Genode într-un sistem de operare generală, pregătit pentru utilizarea zilnică de către dezvoltatorii săi. În conformitate cu foaia de parcurs, am îmbunătățit runtime-ul Noux cu semantica furcilor, astfel încât să putem rula programe bazate pe linie de comandă GNU, cum ar fi coaja bash și coreutils nemodificate și nativ pe diverse microkerneluri. În plus, infrastructura bibliotecii a fost îmbunătățită prin portarea și actualizarea bibliotecilor, cum ar fi Qt 4.7.4 și motorul de redare PDF MuPDF.

Ce este nou în versiunea 11.11:

• O multitudine de niveluri de virtualizare:
• Credință virtuală x86 PC activată de Vancouver VMM
• Android paravirtualized
• Virtualizarea la nivel de sistem utilizând noul mediu runtime
• Depanarea GDB prin intermediul virtualizării la nivel de aplicație
• Cadru de bază, infrastructură OS la nivel scăzut:
• Manipularea excepțiilor CPU la nivel de utilizator
• Acces la distanță la starea firului
• Latența îmbunătățită de semnalizare
• Optimizare pentru dimensiuni mari de cartografiere a memoriei
• Biblioteca standard C ++
• Interfața terminale-sesiune
• Linker dinamic
• Biblioteci și aplicații:
• runtime C
• Monitorul virtual din Vancouver
• Terminal TCP
• Terminal virtual bazat pe Framebuffer și ncurses
• Noux
• Monitorul GDB
• L4Linux / L4Android:
• Actualizați la versiunea kernel 3.0
• Suportul driver-ului de tip stub-driver
• L4Android
• Drivere de dispozitiv:
• Mediul dispozitivului driver pentru driverele de rețea iPXE
• driverul de afișare PL110
• driverul UART
• Suport platformă:
• NOVA versiunea Microhypervisor 0.4
• Microkernel Fiasco.OC
• Actualizați la revizuirea 38
• Interogarea și manipularea firelor la distanță
• versatil Express Cortex-A9x4
• Linux
• Implementare IPC nouă bazată pe socket-uri de domeniu UNIX
• Sprijin pentru gestionarea manuală a spațiilor de sub-adrese locale
• Îmbunătățirea manipulării programelor hibride Linux / Genode
• L4ka :: Ficheiul microcernel
• Construiți sistemul și instrumentele:
• Lanț nou de scule bazat pe GCC 4.6.1
• Optimizarea etapei de construire a dependenței de bibliotecă
• Îmbunătățirea gestionării pachetelor libport și a porturilor

Ce este nou în versiunea 11.05:

• API nou pentru o comunicare între procese în condiții de siguranță
• Suport extins Fiasco.OC platformă
• Bibliotecile partajate
• Cadrul de semnalizare
• suport ARM RealView PBX-A9
• suport x86 pe 64 de biți
• L4Linux (IA32 și ARM)
• Nou suport GDB experimental
• Suport pentru dispozitive I / O pentru platforma MicroBlaze
• Drivere de dispozitiv ARM RealView PBX pentru intrări, afișare, rețea și card sdcard
• Noi scripturi gata de utilizare pentru testarea ușoară a diferitelor caracteristici Genode, cum ar fi Qt4, lwIP, Noux, L4Linux, GDB

Ce este nou în versiunea 10.02:

• Într-o varietate de îmbunătățiri legate de platformă, versiunea 10.02 adaugă suport pentru kernelurile NOVA și Codezero și introduce un nou concept pentru gestionarea priorităților în timp real.
• Urmând versiunea anterioară bogată, proiectul Genode a avut șansa să se concentreze pe extinderea suportului de bază al platformei. Suntem bucuroși să raportăm faptul că am reușit să completăm deja o gamă largă de kernel-uri suportate de două microkernel-uri noi moderne, și anume NOVA și Codezero, ambele lansate pentru prima dată în 2009. Astfel, Genode oferă o infrastructură unificată la nivel de utilizator care rulează direct pe acele kerneluri precum și pe Linux (32 biți și 64 de biți), OKL4v2 (x86 și ARMv4), L4 / Fiasco și L4ka :: Pistachio. Pentru dezvoltatorii care creează aplicații bazate pe microkernel, cadrul ascunde complexitatea nucleului respectiv. Dar, de asemenea, se străduiește să facă capabilitățile unice ale fiecărei platforme de bază accesibile utilizatorului. De exemplu, cu noua versiune, am programat în timp real programele OKL4 și L4ka :: Pistachio disponibile pentru aplicațiile Genode.

Ce este nou în versiunea 9.05:

• Aplicații:
• Integrarea Qt4
• Lanțul de lansare Qt4
• Servicii și drivere OS:
• Efectele de performanță ale programului Nitpicker
• magistrală PCI virtualizată pentru driverul VESA
• Sesiunea USB și interfața dispozitivului
• Suport USB:
• driver USB HID
• Drivere pentru controale de gazdă pentru UHCI, OHCI și EHCI
• OKL4 ca platformă nouă
• suport pentru platforme Linux pe 64 de biți
• Rafinări cadru de bază