seL4 (Secure Embedded L4) je svobodné jádro operačního systému, přesněji mikrojádro třetí generace, zaměřené na vysokou bezpečnost a spolehlivost.Mikrojádro seL4 bylo vytvořeno jako pokračovatel revolučního mikrojádra druhé generace L4 německého počítačového vědce jménem Jochen Liedtke.Mikrojádro L4 bylo vytvořeno zejména s důrazem na co nejvyšší výkon. Také mikrojádro seL4 bylo vytvořeno s důrazem na vysoký výkon, avšak zároveň s přihlédnutím k otázkám bezpečnosti a formální bezchybnosti.

PropertyValue
prop-cs:aktuálníVerze
  • 10 (xsd:integer)
prop-cs:datumVydání
  • 18 (xsd:integer)
prop-cs:druh
prop-cs:jméno
  • seL4
prop-cs:licence
  • Svobodný software, převážně GNU GPLv2 a BSDv2.
prop-cs:podporovanéPlatformy
prop-cs:programovacíJazyk
  • Haskell , C, assembler
prop-cs:rodina
  • Unix-like a další
prop-cs:stav
  • Aktivní
prop-cs:typKernelu
  • mikrojádro třetí generace
prop-cs:vyvíjí
  • NICTA a další
prop-cs:web
prop-cs:wikiPageUsesTemplate
dbpedia-owl:abstract
  • seL4 (Secure Embedded L4) je svobodné jádro operačního systému, přesněji mikrojádro třetí generace, zaměřené na vysokou bezpečnost a spolehlivost.Mikrojádro seL4 bylo vytvořeno jako pokračovatel revolučního mikrojádra druhé generace L4 německého počítačového vědce jménem Jochen Liedtke.Mikrojádro L4 bylo vytvořeno zejména s důrazem na co nejvyšší výkon. Také mikrojádro seL4 bylo vytvořeno s důrazem na vysoký výkon, avšak zároveň s přihlédnutím k otázkám bezpečnosti a formální bezchybnosti. Důležité zlepšení také spočívá v lepší přenositelnosti, a to nejen uživatelských serverů (poskytovatelů služeb mikrojádra běžících v uživatelském prostoru), ale též vlastního mikrojádra.
dbpedia-owl:thumbnail
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 1114886 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 17779 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 140 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 16486291 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
dbpedia-owl:wikiPageWikiLinkText
  • seL4
  • SeL4
dcterms:subject
rdfs:comment
  • seL4 (Secure Embedded L4) je svobodné jádro operačního systému, přesněji mikrojádro třetí generace, zaměřené na vysokou bezpečnost a spolehlivost.Mikrojádro seL4 bylo vytvořeno jako pokračovatel revolučního mikrojádra druhé generace L4 německého počítačového vědce jménem Jochen Liedtke.Mikrojádro L4 bylo vytvořeno zejména s důrazem na co nejvyšší výkon. Také mikrojádro seL4 bylo vytvořeno s důrazem na vysoký výkon, avšak zároveň s přihlédnutím k otázkám bezpečnosti a formální bezchybnosti.
rdfs:label
  • SeL4
prov:wasDerivedFrom
foaf:depiction
foaf:homepage
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageRedirects of
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of