This HTML5 document contains 100 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
n5http://g.co/kg/g/
n26http://urn.kb.se/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-kohttp://ko.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
n28https://dl.acm.org/
dbpedia-ruhttp://ru.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
n18https://www.openhub.net/p/
n7http://fr.dbpedia.org/resource/Modèle:
n30https://link.springer.com/chapter/10.1007/
n15http://commons.wikimedia.org/wiki/Special:FilePath/
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
dbpedia-arhttp://ar.dbpedia.org/resource/
n23https://bitbucket.org/rswami/
n29http://ieeexplore.ieee.org/abstract/document/6809348/
owlhttp://www.w3.org/2002/07/owl#
n22https://
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
n8https://repository.tudelft.nl/islandora/object/uuid:
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbpedia-fr:Genode
rdfs:label
Genode OS Framework Genode جينود
rdfs:comment
Genode est un framework d'OS (architecture et ensemble de mécanismes généraux de système d'exploitation, ou "boite à outils") libre et gratuit. Il consiste en une couche d'abstraction pour micro-noyau et une collection de composants (services) en espace utilisateur. Il est notable que ce framework est l'un des seuls dans le monde libre et gratuit à ne pas être dérivé d'un système d'exploitation propriétaire tel qu'Unix. La ligne directrice de conception est qu'il est essentiel de réduire autant que possible le nombre de lignes de code exécutées en mode noyau, ou en mode utilisateur d'importance critique (les deux constituant la TCB, Trusted Computing Base, code source auquel on doit faire confiance) dans un système d'exploitation orienté sécurité.
rdfs:seeAlso
n18:genode
owl:sameAs
n5:1pznmrhdl dbpedia-ar:جينود dbpedia-ja:Genode wikidata:Q16527380 dbpedia-ru:Genode_OS_Framework dbpedia-ko:지노드 dbpedia-es:Genode dbpedia-de:Genode dbr:Genode
dbo:wikiPageID
12462339
dbo:wikiPageRevisionID
187812211
dbo:wikiPageWikiLink
dbpedia-fr:Architecture_ARM dbpedia-fr:X64 dbpedia-fr:Utilisateur_root dbpedia-fr:Open_source dbpedia-fr:RISC-V category-fr:Système_d'exploitation_libre dbpedia-fr:Environnement_de_bureau dbpedia-fr:Codebase dbpedia-fr:Ghost_(système_d'exploitation) dbpedia-fr:Suite_des_protocoles_Internet dbpedia-fr:JavaScript_Object_Notation dbpedia-fr:Principe_de_moindre_privilège dbpedia-fr:Application_binary_interface dbpedia-fr:GNU_Affero_General_Public_License dbpedia-fr:Développement_de_logiciel dbpedia-fr:Google_Fuchsia dbpedia-fr:C++ dbpedia-fr:Espace_utilisateur dbpedia-fr:Système_d'exploitation dbpedia-fr:Extensible_Markup_Language dbpedia-fr:Noyau_Linux dbpedia-fr:Hyperviseur dbpedia-fr:ReactOS dbpedia-fr:Communication_inter-processus dbpedia-fr:Syllable_(système_d'exploitation) dbpedia-fr:OSv dbpedia-fr:Thread_Local_Storage dbpedia-fr:Micronoyau_L4 dbpedia-fr:Bibliothèque_standard_du_C++ dbpedia-fr:Micronoyau dbpedia-fr:Palm_OS dbpedia-fr:Unix dbpedia-fr:QNX dbpedia-fr:BeOS dbpedia-fr:IncludeOS dbpedia-fr:Noyau_de_système_d'exploitation dbpedia-fr:Logiciel_libre dbpedia-fr:Interface_de_programmation dbpedia-fr:Qubes_OS dbpedia-fr:Haiku_(système_d'exploitation) dbpedia-fr:Université_technique_de_Dresde dbpedia-fr:X86
dbo:wikiPageExternalLink
n8:41767be9-f48f-468e-abf6-949dbd7cce96 n23:secureos_14.05 n26:resolve%3Furn=urn%3Anbn%3Ase%3Akth%3Adiva-236975 n22:genode.org n28:citation.cfm%3Fid=3071069 n29: n30:978-3-319-72817-9_2
dbo:wikiPageLength
15373
dct:subject
category-fr:Système_d'exploitation_libre
foaf:homepage
n22:genode.org
prop-fr:wikiPageUsesTemplate
n7:Portail n7:Site_officiel n7:GitHub n7:Infobox_Système_d'exploitation n7:Date n7:,
prov:wasDerivedFrom
wikipedia-fr:Genode?oldid=187812211&ns=0
foaf:depiction
n15:Genode_logo_text.png n15:2018-09-21-sculpt-vc.png
prop-fr:développeur
Genode Labs, et al.
prop-fr:légende
Le système de bureau Sculpt basé sur Genode.
prop-fr:nom
Genode
prop-fr:siteWeb
n22:genode.org
prop-fr:langues
Anglais
prop-fr:licence
dbpedia-fr:GNU_Affero_General_Public_License
prop-fr:logo
Genode logo text.png
prop-fr:platesFormesPossibles
dbpedia-fr:X86 dbpedia-fr:X64 dbpedia-fr:Architecture_ARM dbpedia-fr:RISC-V
prop-fr:tailleLogo
250
prop-fr:typeDeNoyau
Micronoyau
prop-fr:étatDesSources
dbpedia-fr:Logiciel_libre Open source
prop-fr:étatDuProjet
En développement constant
prop-fr:dernièreVersionStable
19.02
prop-fr:premièreVersion
8.11
prop-fr:écritEn
C++ et autres
dbo:thumbnail
n15:Genode_logo_text.png?width=300
foaf:isPrimaryTopicOf
wikipedia-fr:Genode
dbo:abstract
Genode est un framework d'OS (architecture et ensemble de mécanismes généraux de système d'exploitation, ou "boite à outils") libre et gratuit. Il consiste en une couche d'abstraction pour micro-noyau et une collection de composants (services) en espace utilisateur. Il est notable que ce framework est l'un des seuls dans le monde libre et gratuit à ne pas être dérivé d'un système d'exploitation propriétaire tel qu'Unix. La ligne directrice de conception est qu'il est essentiel de réduire autant que possible le nombre de lignes de code exécutées en mode noyau, ou en mode utilisateur d'importance critique (les deux constituant la TCB, Trusted Computing Base, code source auquel on doit faire confiance) dans un système d'exploitation orienté sécurité. Genode peut être utilisé comme base pour créer un système d'exploitation avec environnement de bureau ou pour un système d'exploitation de tablette, ou pour un moniteur de machine virtuelle pour un système d'exploitation hôte. Le framework Genode a déjà été utilisé comme composant de confiance dans des systèmes de virtualisation sécurisée pour x86 et ARM. La petite taille du code source de Genode en fait une alternative flexible comparée aux systèmes d'exploitation plus complexes dérivés d'Unix. Pour cette raison, ce framework a été utilisé comme base pour des travaux de recherche dans des domaines tels que la virtualisation, la communication inter-processus, l'isolation de pile IP, les systèmes de surveillance et le développement logiciel.
dbo:license
wikidata:Q27017232