seL4-Mikrokernel im Quellcode veröffentlicht

Diskutiere seL4-Mikrokernel im Quellcode veröffentlicht im Linuxnews/Programmversionen Forum im Bereich Allgemeines; National ICT Australia (NICTA) hat den Microkernel »seL4« unter eine Open-Source-Lizenz gestellt. Der Kernel zeichnet sich vor allem durch seine...

  1. #1 newsbot, 29.07.2014
    newsbot

    newsbot Grünschnabel

    Dabei seit:
    26.11.2007
    Beiträge:
    1
    Zustimmungen:
    2
    National ICT Australia (NICTA) hat den Microkernel »seL4« unter eine Open-Source-Lizenz gestellt. Der Kernel zeichnet sich vor allem durch seine Sicherheit aus und wurde unter anderem formal auf Korrektheit geprüft.

    Weiterlesen...
     
  2. Anzeige

    Anzeige

    Wenn du mehr über Linux erfahren möchtest, dann solltest du dir mal folgende Shellkommandos anschauen.


    Registrieren bzw. einloggen, um diese und auch andere Anzeigen zu deaktivieren
Thema:

seL4-Mikrokernel im Quellcode veröffentlicht

Die Seite wird geladen...

seL4-Mikrokernel im Quellcode veröffentlicht - Ähnliche Themen

  1. Assembler-Lernspiel Squally im Quellcode freigegeben

    Assembler-Lernspiel Squally im Quellcode freigegeben: Die Entwickler des proprietären Spiels Squally haben ihre Anwendung im Quellcode veröffentlicht. Bei Squally handelt es sich um ein...
  2. AMD gibt CodeXL 2.0 im Quellcode frei

    AMD gibt CodeXL 2.0 im Quellcode frei: AMD hat sein Debugging- und Profiling-Tool, CodeXL, in der Version 2.0 veröffentlicht. Zugleich hat das Unternehmen die Verfügbarkeit des...
  3. Fraunhofer-Institut veröffentlicht BeeGFS-Quellcode

    Fraunhofer-Institut veröffentlicht BeeGFS-Quellcode: Das parallele Dateisystem BeeGFS wird freie Software. BeeGFS wird seit mehreren Jahren von der ThinkParQ GmbH, einer Ausgliederung des...
  4. Quellcode der JavaScript-Engine Chakra freigegeben

    Quellcode der JavaScript-Engine Chakra freigegeben: Microsoft hat die Kernkomponenten der JavaScript-Engine Chakra wie angekündigt freigegeben. Unterstützung für Linux ist eines der vordringlichsten...
  5. ZeroDB im Quellcode veröffentlicht

    ZeroDB im Quellcode veröffentlicht: ZeroDB, eine Datenbank mit End-to-End-Verschlüsselung, ist im Quellcode veröffentlicht worden. Die Entwickler versprechen sich von der Freigabe...
  1. Diese Seite verwendet Cookies um Inhalte zu personalisieren. Außerdem werden auch Cookies von Diensten Dritter gesetzt. Mit dem weiteren Aufenthalt akzeptierst du diesen Einsatz von Cookies.
    Information ausblenden