Genode

Genode è un framework operativo open source che estende i kernel esistenti (ad esempio, microkernel o hypervisor) e fornisce un'applicazione uniforme per le applicazioni.

Attualmente L4 / Fiasco e Linux sono supportati.

Cosa c'è di nuovo in questa release:

• Grafica accelerata hardware per GPU Intel Gen-8
• Il kernel seL4 su ARM e hardware x86 a 64 bit
• Base e infrastruttura a livello di sistema:
• Gestione semplificata di IOMMU
• Nuovo server di report per la cattura di rapporti ai file
• Nuovo ambiente di runtime per avviare i componenti in sequenza
• Supporto per il buffer di frame inizializzato di boot-time
• Funzionamento non bloccato esteso del VFS
• Fare le sessioni di blocco in sola lettura
• Gestione del tempo raffinata
• Plug-in VFS basato su FatFS
• Primitive di GUI migliorate
• Runtime C
• Librerie e applicazioni:
• Aggiustamenti di Mesa
• Gestione dei pacchetti
• Piattaforme:
• Genode come Xen DomU
• Esecuzione su hardware nudo (base-hw)
• kernel di separazione di Muen
• NOVA microhypervisor

Cosa c'è di nuovo nella versione 17.05:

• Base di base:
• Nuova revisione del libro Genodes Foundations
• Transizione dei componenti completata all'API moderna
• Semplificare i tipi di eccezione
• Assegnazione e negoziazione di quota di capacità
• Merged RAM e servizi PD del componente centrale
• Esecuzione esplicita di costruttori statici
• Separazione dei segnali I / O da segnali a livello di applicazione
• Librerie ei componenti di livello OS:
• Gestione dinamica delle risorse e inoltro del servizio tramite init
• Nuova API per il timing a livello di utente
• Notifiche in banda nella sessione del file system
• Visualizzazione del carico di log con log-in
• Monitoraggio del traffico di rete
• Profilo POSIX libc come libreria condivisa
• Segnalazione di stato dei componenti a livello di blocco di periferiche
• Runtime e applicazioni:
• Completa funzionalità di VirtualBox 5 su NOVA
• linguaggio di programmazione Nim
• Qt5 aggiornato alla versione 5.8
• Piattaforme:
• Esecuzione su hardware nudo (base-hw)
• Aggiornamento del kernel di separazione di Muen.
• Aggiornamento del kernel Fiasco.OC
• Catena degli strumenti:
• Raccolta GNU di compilatori (GCC) 6.3 incluso il supporto Ada
• Versioni di debug separati degli eseguibili eseguiti

Cosa c'è di nuovo nella versione 13.11:

• Base di base:
• bilanciamento delle risorse dinamiche
• C ++ 11 abilitato per impostazione predefinita
• Miglioramento del rilevamento degli eventi
• Infrastruttura OS a basso livello:
• Rete Gigabit utilizzando lo stack TCP / IP Linux
• Migliorato il server GUI del nitpicker
• Nuovi servizi terminal
• Nuovo server di file system per sistemi ibridi Genode / Linux
• Nuovo plugin C-runtime per l'accesso ai dispositivi di blocco
• Driver di periferica:
• Grafica e USB HID per il lampone Pi
• HDMI per Samsung Exynos 5
• Applicazioni e librerie:
• Qt5 con supporto per OpenGL e QML
• Nuovi sistemi di file basati su FUSE
• Porta di DosBox
• Ambienti di runtime:
• Funzioni avanzate di debug GNU
• Supporto ARM TrustZone su Freescale i.MX53
• Piattaforme:
• Base-HW abilitato per carichi di lavoro dinamici
• Gestione della durata dell'oggetto del kernel su NOVA
• Supporto per il lancio di L4Linux in esecuzione su Fiasco.OC

Cosa c'è di nuovo nella versione 13.08:

• Il rilascio della versione 13.08 è il quinto anniversario del framework Genode OS. Celebriamo questo anniversario con l'aggiunta di tre caratteristiche principali che abbiamo molto desiderato, ovvero il porto di Qt5 a Genode, un supporto profondo multiprocessore e un quadro di rilevamento di eventi leggeri. Inoltre, la nuova versione viene fornita con nuovi driver di periferica per SATA 3.0 e gestione dell'alimentazione per l'Exynos-5 SoC, supporto per la virtualizzazione migliorata su NOVA su x86, aggiornamenti dei kernel e controlli di integrità per il codice sorgente di terze parti scaricato.
• Nel corso degli ultimi cinque anni, lo sviluppo di Genode è stato principalmente motivato aggiungendo e coltivando funzionalità per rendere il quadro adatto per tante aree di applicazione possibile. Ora che abbiamo una massa critica di funzionalità, non è più sufficiente concentrarsi sulla semplice funzionalità. La questione di ciò che Genode può fare alla fine si trasforma nella questione di quanto Genode possa fare: come stabile è un certo carico di lavoro? Come funziona la rete? Come scala ai sistemi multiprocessori? Poiché non abbiamo risposte concise a questi tipi di domande, dobbiamo indagare.
• Quando si parla di stabilità, la nostra infrastruttura di test automatizzata di recente introduzione ci rende più sicuri che mai. Ogni notte, vengono eseguiti oltre 200 test automatici, che coprono diversi kernel e diverse piattaforme hardware. Tutti questi test sono pubblicamente disponibili sotto forma di cosiddetti script di esecuzione e sono in continua evoluzione.
• Per quanto riguarda le indagini sulle prestazioni, di recente abbiamo cominciato a benchmarkare le prestazioni delle applicazioni incentrate sul throughput della rete. È interessante notare che le nostre misure mostrano differenze significative tra i kernel utilizzati, ma anche le carenze nel nostro software. Ad esempio, attualmente vediamo che la nostra versione di lwIP funziona male con la rete di gigabit. Per studiare approfonditamente tali problemi di prestazioni, la versione corrente aggiunge il supporto per la traccia del comportamento dei componenti Genode. Ciò consentirà di acquisire una profonda comprensione di tutte le interazioni tra componenti che si trovano sul percorso critico per la prestazione di carichi di lavoro complessi a livello di applicazione. Grazie all'architettura Genode, potremmo trovare un design straordinariamente semplice ma potente per una struttura di tracciamento. Sezione La ricerca di eventi leggeri spiega come funziona.
• Quando si tratta di una scalabilità multiprocessore, ci siamo seduti a partire da tali indagini perché, onestamente, non abbiamo prestato molta attenzione a questo. Questa visione è cambiata ormai. Con la versione corrente, abbiamo implementato la gestione delle affinità CPU nel cuore del framework, cioè, il concetto di sessione di Genode. Inoltre, abbiamo fratturato un dado dannatamente danneggiato, consentendo a Genode di utilizzare più CPU sul hypervisor NOVA. Questo kernel è di gran lunga il più avanzato micro-kernel Open-Source per l'architettura x86. Tuttavia, il modello MP di NOVA sembrava inerente contraddire con il design API di Genode. Fortunatamente, abbiamo trovato un modo abbastanza elegante per andare avanti e siamo in grado di domare la bestia. Sezione Il supporto multiprocessore potenziato entra in maggiore dettaglio.
• Per quanto riguarda la funzionalità, abbiamo sempre considerato la disponibilità di Qt su Genode come un grande bene. Con la versione attuale, siamo lieti di annunciare che finalmente abbiamo fatto il passaggio da Qt4 a Qt5. La sezione Qt5 disponibile su tutti i kernel fornisce approfondimenti sulle sfide che abbiamo affrontato durante il lavoro di porting.
• Oltre a questi punti di vista, la nuova versione è dotata di miglioramenti in tutto il luogo. Per citarne alcuni, è possibile migliorare il supporto per i thread POSIX, i driver di periferica aggiornati, una versione aggiornata del kernel Fiasco.OC e L4Linux e nuovi driver di periferica per Exynos-5. Infine, è stato affrontato il problema della verifica dell'integrità dei codici sorgenti di terze parti scaricati.

Cosa c'è di nuovo nella versione 12.11:

• Il tema centrale della versione 12.11 del Framework Genode OS è il Genodo di self-hosting su Genode. Con self-hosting, comprendiamo l'esecuzione dell'intero sistema di generazione di Genode all'interno dell'ambiente Genode. Ci sono due motivazioni per perseguire questa linea di lavoro. In primo luogo, è un prerequisito fondamentale per gli sviluppatori di Genode di andare verso l'utilizzo di Genode come un sistema operativo quotidiano. Naturalmente, questo prerequisito potrebbe essere realizzato utilizzando una delle soluzioni di virtualizzazione disponibili. Ad esempio, potremmo eseguire L4Linux in cima a Genode sul kernel Fiasco.OC e utilizzare il sistema Genode build da un'istanza L4Linux. Tuttavia, questo sconfigge l'incentivo primario dietro Genode per ridurre la complessità del sistema. Avendo entrambi Genode e L4Linux nell'immagine, aumenterebbe la complessità complessiva nella configurazione, nel mantenimento e nell'utilizzo del sistema. Pertanto, preferiremo in gran parte di rimuovere la complessa area utente Linux dall'immagine. La seconda motivazione è quella di dimostrare che il quadro e le piattaforme di base sottostanti sono adatte e sufficientemente stabili per l'uso reale.Se il sistema non è in grado di gestire un carico di lavoro come il sistema di generazione, non c'è un piccolo motivo di discutere sul valore aggiunto di avere un sistema basato su microkernel su sistemi operativi di tipo corrente come GNU / Linux.
• Siamo felici di aver raggiunto lo stato in cui possiamo eseguire il sistema di generazione non modificato Genode direttamente su Genode in esecuzione su un microkernel. Poiché il sistema di build è basato su utilità GNU e la raccolta GNU di compilatori, uno sforzo importante è entrato nella colla tra questi strumenti e l'API Genode. La sezione Building Genode su Genode fornisce approfondimenti sul modo in cui abbiamo raggiunto l'obiettivo e lo stato attuale degli affari.
• Oltre ai lavori per portare il sistema di generazione a Genode sono venuti numerosi miglioramenti e ottimizzazioni di stabilità in tutto il luogo, raggiungendo dai rispettivi kernel, oltre il tempo di esecuzione C, le implementazioni del file system, gli allocatori di memoria, fino ai programmi effettivi la catena degli attrezzi è composta. Parlando della catena degli attrezzi, la catena ufficiale degli strumenti Genode è stata aggiornata dalla versione 4.6.1 di GCC alla versione 4.7.2. In questo modo, tutti i pacchetti di codice di terze parti sono stati sottoposti a attività di testing e di fissaggio.
• Per eseguire il sistema di build, il progetto si concentra attualmente su NOVA e Fiasco.OC come piattaforme di base. Tuttavia, anche la nostra piattaforma del kernel personalizzata per l'architettura ARM ha ricevuto notevoli miglioramenti. Con il supporto aggiunto per Freescale i.MX e Texas Instruments OMAP4, questa piattaforma si è rivelata molto adattabile ai nuovi SoC, mentre la nuova gestione della cache migliora le prestazioni. Inoltre, abbiamo aggiunto un supporto sperimentale alla tecnologia ARM TrustZone, che consente innanzitutto l'esecuzione di Genode nel cosiddetto mondo sicuro di TrustZone durante l'esecuzione di Linux nel cosiddetto mondo normale.
• Come abbiamo scoperto l'interesse crescente di utilizzare Genode come soluzione middleware su Linux, abbiamo in gran parte rivisto il supporto per questa piattaforma del kernel e abbiamo scoperto nuovi modi per allineare il concetto di Genode ai meccanismi forniti dal kernel Linux. Sezione Linux fornisce una sintesi dei nuovi approcci adottati per supportare questa piattaforma.
• Con la funzionalità, la nuova versione introduce il supporto per i driver audio del sistema Open Sound, un nuovo driver GPIO OMAP4, i miglioramenti del terminale grafico e la porta iniziale di un client SSH.

Cosa c'è di nuovo nella versione 12.08:

• Con Genode 12.08, il progetto si è concentrato sul supporto della piattaforma. Entra nel mondo delle piattaforme ARM basate su OMAP4, ha rivitalizzato e notevolmente migliorato il supporto per il hypervisor NOVA e è in grado di eseguire direttamente su piattaforme ARM senza la necessità di un kernel sottostante.
• La nuova piattaforma base-hw è una deviazione dall'approccio tradizionale di Genode per completare i kernel esistenti con l'infrastruttura utente-terra. Lasci di tutto il kernel separato dall'immagine e danneggia quindi la linea di base della base di calcolo attendibile dei sistemi basati su Genode a circa la metà. La nuova piattaforma di base è descritta in Sezione Genode su hardware ARM nudo.
• Parlando di piattaforme di base, siamo felici di aver promosso l'ipervisore NOVA a un cittadino di prima classe tra le piattaforme di base. Negli ultimi mesi, questo kernel ha subito cambiamenti fondamentali per quanto riguarda la sua modalità di sviluppo e il suo set di funzionalità. Questo ci ha spinto a migliorare notevolmente il supporto di Genode per questa piattaforma e sfruttare le sue caratteristiche uniche. Se si considera l'utilizzo di Genode su hardware basato su x86, NOVA è diventata una base molto attraente. Sezione L'abilità del NOVA Hypervisor descrive le modifiche specifiche di NOVA.
• Il miglioramento del supporto per la piattaforma con la versione corrente non comporta solo le piattaforme di base, ma si estende a aggiunte profonde di driver di periferiche, in particolare per l'OMAP4 SoC basato su ARM come utilizzato sul popolare Pandaboard. Siamo orgogliosi di annunciare la disponibilità di driver per dispositivi HDMI, scheda SD, USB HID e rete per questa piattaforma.
• Oltre i miglioramenti della piattaforma a basso livello, la nuova versione viene fornita con diversi nuovi servizi, ottimizzazioni dei componenti esistenti e nuove librerie portate. In particolare, il runtime Noux ha raggiunto un punto in cui possiamo eseguire principalmente gravi applicazioni di rete come il browser web Lynx in modo nativo su Genode. Un altro esempio è il nuovo servizio di file system basato su FFAT, che rende disponibile l'archiviazione persistente tramite l'interfaccia del file system di Genode. Combinando questo nuovo servizio con componenti esistenti come il servizio di partizione, Noux o il plug-in del file system del libc, sono disponibili molti nuovi scenari di applicazione. Grazie a questi nuovi componenti, il framework è stato in grado di eseguire il debug su target tramite GDB in esecuzione in Noux o ospitare il sito web genode.org tramite il server web lighttpd.

Cosa c'è di nuovo nella versione 12.02:

• Il rilascio di Genode 12.02 rappresenta un punto emozionante nella storia del progetto in quanto è la prima versione sviluppata in apertura piuttosto che all'interno delle camere di Genode Labs. In questo modo, abbiamo abbracciato GitHub come impianto centrale per la discussione e la gestione dei codici sorgente. Questa modifica ha vantaggi per gli utenti e gli sviluppatori del framework stesso. Per gli utenti è diventato possibile sfruttare gli ultimi sviluppi utilizzando il settore ufficiale genodelabs / master e partecipare a discutere le attività attuali. Per gli sviluppatori Genode regolari, il repository pubblico Git sostituisce un precedente mix di pubblici Subversion e repository Mercurial interni aziendali, rendendo la vita molto più facile. Nella Sezione Liberazione del processo di sviluppo, delineiamo la motivazione che sta dietro a questo cambiamento e danno indicazioni alle nuove risorse.
• Le principali nuove aggiunte al sistema di base sono una nuova API per l'accesso alle risorse di I / O mappate in memoria, un supporto speciale per l'utilizzo di Genode come componente a livello di utente su Linux e il supporto API per il riutilizzo dei componenti esistenti in la forma delle librerie a sandbox. Queste modifiche sono accompagnate da un'infrastruttura del driver di periferica come la prima versione di un driver di periferica di periferica e un nuovo parser ACPI.
• A livello di funzionalità, la versione corrente prende i primi passi verso l'obiettivo della Roadmap per il 2012, trasformando Genode in un OS di uso generico pronto per l'uso quotidiano dai suoi sviluppatori. Secondo la tabella di marcia abbiamo migliorato il runtime Noux con la semantica fork in modo che possiamo eseguire programmi GNU basati su riga di comando come il shell bash e coreutils non modificati e nativamente su vari microkernel. Inoltre, l'infrastruttura della libreria è stata migliorata portando e aggiornando librerie come Qt 4.7.4 e il motore di rendering MPPFF PDF.

Cosa c'è di nuovo nella versione 11.11:

• Una pletora di livelli di virtualizzazione:
• Fedeltà x86 Virtualizzazione PC abilitata dal VMM Vancouver
• Android paravirtualizzato
• Virtualizzazione a livello di sistema utilizzando l'ambiente di runtime Noux
• Debug GDB tramite virtualizzazione a livello di applicazione
• Base framework, infrastruttura di sistema a basso livello:
• Gestione delle eccezioni della CPU a livello utente
• Accesso remoto allo stato del thread
• Migliorata latenza di segnalazione
• Ottimizzazione per grandi dimensioni di mapping di memoria
• Libreria standard C ++
• Interfaccia terminale di sessione
• Link dinamico
• Librerie e applicazioni:
• Runtime C
• Monitoraggio della macchina virtuale di Vancouver
• Terminal TCP
• Terminale virtuale basati su framebuffer e ncurses
• Noux
• Monitor GDB
• L4Linux / L4Android:
• Aggiornamento alla versione 3.0 del kernel
• Supporto Stub-driver
• L4Android
• Driver di periferica:
• Ambiente del driver di periferica per i driver di rete iPXE
• driver di visualizzazione PL110
• driver UART
• Supporto piattaforma:
• NOVA Microhypervisor versione 0.4
• Fiasco.OC microkernel
• Aggiorna alla revisione 38
• Richiesta e manipolazione di thread remoti
• Versatile Express Cortex-A9x4
• Linux
• Nuova implementazione IPC basata su socket di dominio UNIX
• Supporto per gestire manualmente gli spazi di indirizzi secondari locali
• Migliore gestione dei programmi ibridi Linux / Genode
• L4ka :: Pistacchio microkernel
• Build sistema e strumenti:
• Nuova catena degli strumenti basata su GCC 4.6.1
• Ottimizzazione della fase di creazione della dipendenza dalla libreria
• Miglioramento della gestione dei pacchetti di libot e porti

Cosa c'è di nuovo nella versione 11.05:

• Nuova API per una comunicazione tipo inter-processo di tipo
• Supporto alla piattaforma Extended Fiasco.OC
• Librerie condivise
• Struttura di segnalazione
• Supporto ARM RealView PBX-A9
• x86 supporto a 64 bit
• L4Linux (IA32 e ARM)
• Nuovo supporto sperimentale GDB
• Supporto dispositivo I / O per piattaforma MicroBlaze
• Driver di periferica PBX di ARM RealView per input, display, rete e sdcard
• Nuovi scenari pronti all'uso per una facile pilotaggio delle varie funzionalità di Genode come Qt4, lwIP, Noux, L4Linux, GDB

Cosa c'è di nuovo nella versione 10.02:

• Tra una varietà di miglioramenti relativi alla piattaforma, il rilascio 10.02 aggiunge il supporto per i kernel NOVA e Codezero e introduce un nuovo concetto per la gestione delle priorità in tempo reale.
• Seguendo la precedente versione ricca di funzionalità, il progetto Genode ha avuto la possibilità di concentrarsi sull'estensione del supporto per la piattaforma di base del framework. Siamo lieti di segnalare che siamo riusciti a completare la già ampia gamma di kernel supportati da due nuovi moderni microkernels: NOVA e Codezero, entrambi rilasciati nel 2009. Così, Genode fornisce un'infrastruttura unificata a livello di utente che viene eseguita direttamente su quei kernel così come su Linux (32 bit e 64 bit), OKL4v2 (x86 e ARMv4), L4 / Fiasco e L4ka :: Pistacchio. Per gli sviluppatori che creano applicazioni basate su microkernel, il framework nasconde le complessità del rispettivo kernel. Ma si sforza inoltre di rendere accessibili all'utente le capacità uniche di ogni piattaforma di base. Ad esempio, con la nuova versione, abbiamo fatto la pianificazione in tempo reale di OKL4 e L4ka :: Pistachio disponibili per le applicazioni Genode.

Cosa c'è di nuovo nella versione 9.05:

• Applicazioni:
• Integrazione di Qt4
• launchpad basati su Qt4
• Servizi e driver OS:
• Tweaks delle prestazioni del Nitpicker
• Bus PCI virtualizzato per il driver VESA
• interfaccia di sessione e dispositivo USB
• Supporto USB:
• Driver USB HID
• Driver di controller host per UHCI, OHCI e EHCI
• OKL4 come nuova piattaforma
• supporto di piattaforma Linux a 64 bit
• Miglioramenti del framework di base