{"id":828,"date":"2020-04-24T15:41:20","date_gmt":"2020-04-24T13:41:20","guid":{"rendered":"http:\/\/www.instruyete.org\/?p=828"},"modified":"2020-04-24T15:42:02","modified_gmt":"2020-04-24T13:42:02","slug":"sel4-microkernel","status":"publish","type":"post","link":"https:\/\/www.instruyete.org\/?p=828","title":{"rendered":"seL4 microkernel"},"content":{"rendered":"\n<p>Nachdem die <a href=\"https:\/\/www.linuxfoundation.org\/\">Linux Foundation<\/a> speziell f\u00fcr die Entwicklung des <em>secure embedded L4<\/em> Kernel (seL4) die <a href=\"https:\/\/sel4.systems\/\">sel4 Foundation<\/a> gr\u00fcndete und dies <a href=\"https:\/\/www.pro-linux.de\/news\/1\/27940\/linux-foundation-gr%C3%BCndet-sel4-foundation.html\">bei Pro-Linux thematisiert wurde<\/a>, war es Grund genug diesen microkernel genauer anzuschauen.<\/p>\n\n\n\n<p><strong>sel4<\/strong> hat eine extrem kleine TCB (<em>trusted computing base<\/em>), die zudem Fehlerfreiheit garantiert. <br>Desweiteren soll eine WCET (<em>Worst Case Execution Time<\/em>) Analyse vorhanden sein, die darauf schlie\u00dfen l\u00e4sst, dass seL4 harte Echtzeitf\u00e4higkeit besitzt, was ihn mit den anderen F\u00e4higkeiten besonders f\u00fcr zertifizierungspflichtige Branchen pr\u00e4destiniert.<\/p>\n\n\n\n<p>Der, auf meinen statischen Seiten vorhandene \u00dcberblick \u00fcber Linux Real-Time Systeme wurde mit einem seL4 Abschnitt erweitert.<\/p>\n\n\n\n<p><a href=\"http:\/\/www.instruyete.org\/wp-content\/uploads\/2009\/08\/linuxrt_cc.pdf\">Realtime Linux<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Nachdem die Linux Foundation speziell f\u00fcr die Entwicklung des secure embedded L4 Kernel (seL4) die sel4 Foundation gr\u00fcndete und dies bei Pro-Linux thematisiert wurde, war es Grund genug diesen microkernel genauer anzuschauen. sel4 hat eine extrem kleine TCB (trusted computing base), die zudem Fehlerfreiheit garantiert. Desweiteren soll eine WCET (Worst Case Execution Time) Analyse vorhanden &hellip; <a href=\"https:\/\/www.instruyete.org\/?p=828\" class=\"more-link\"><span class=\"screen-reader-text\">seL4 microkernel<\/span> weiterlesen<\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[9,7],"tags":[],"class_list":["post-828","post","type-post","status-publish","format-standard","hentry","category-linux","category-unix"],"_links":{"self":[{"href":"https:\/\/www.instruyete.org\/index.php?rest_route=\/wp\/v2\/posts\/828","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.instruyete.org\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.instruyete.org\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.instruyete.org\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.instruyete.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=828"}],"version-history":[{"count":2,"href":"https:\/\/www.instruyete.org\/index.php?rest_route=\/wp\/v2\/posts\/828\/revisions"}],"predecessor-version":[{"id":830,"href":"https:\/\/www.instruyete.org\/index.php?rest_route=\/wp\/v2\/posts\/828\/revisions\/830"}],"wp:attachment":[{"href":"https:\/\/www.instruyete.org\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=828"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.instruyete.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=828"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.instruyete.org\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=828"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}