1. Foren
  2. Kommentare
  3. Wissenschaft
  4. Alle Kommentare zum Artikel
  5. › Sel4: Fehlerloser Microkernel…

Sel4: Fehlerloser Microkernel unter der GPL freigegeben

Der von der National ICT Australia mitentwickelte Microkernel Sel4 steht ab sofort unter der GPL. Er wurde durch mehrere Testverfahren als vollständig fehlerfrei eingestuft.

Neues Thema Ansicht wechseln


Beiträge

  1. Codeanalyse 4

    monettenom | 29.07.14 21:55 31.07.14 11:21

  2. Was ein Schwachfug (Seiten: 1 2 ) 24

    Linuxschaden | 29.07.14 16:55 31.07.14 08:49

  3. WAT? 9

    majablagdan | 29.07.14 12:37 30.07.14 14:11

  4. @Golem: seL4, nicht Sel4 3

    rommudoh | 29.07.14 14:17 30.07.14 12:23

  5. @golem: Eben größtenteils kein Testverfahren! Begrifflichkeit verbessern. 2

    kagebe | 30.07.14 09:49 30.07.14 12:21

  6. Ach ist das nicht herrlich... 4

    DerVorhangZuUndAlleFragenOffen | 29.07.14 18:11 30.07.14 12:19

  7. Und warum … 4

    0xLeon | 29.07.14 15:55 29.07.14 23:52

Neues Thema Ansicht wechseln



Stellenmarkt
  1. Sales Manager (m/w/d) Digitale Prozesse
    Apex Tool Holding Germany GmbH & Co. KG, Westhausen (bei Aalen)
  2. Referent (w/m/d) Kommunikationstechnik
    Deutscher Bundestag, Berlin
  3. Product Owner Buchungsmanagement (m/w/d)
    Haufe Group, Freiburg im Breisgau
  4. DevOps Engineer (m/f/d)
    enote GmbH, Berlin

Detailsuche


Golem pur
  • Golem.de ohne Werbung nutzen

Anzeige
Spiele-Angebote
  1. (u. a. Team Sonic Racing für 3,50€, Sonic & All-Stars Racing Transformed Collection für 4...
  2. 21,24€
  3. 10,99€
  4. 8,99€


Haben wir etwas übersehen?

E-Mail an news@golem.de