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

@Golem: seL4, nicht Sel4

Neue Foren im Freiraum! Raumfahrt und freie Software haben jetzt einen Platz, die Games tummeln sich jetzt alle in einem Forum.
  1. Thema

Neues Thema Ansicht wechseln


  1. @Golem: seL4, nicht Sel4

    Autor: rommudoh 29.07.14 - 14:17

    schließlich ist es ein Kernel der L4-Familie.

  2. Re: @Golem: seL4, nicht Sel4

    Autor: AIM-9 Sidewinder 30.07.14 - 06:51

  3. Re: @Golem: seL4, nicht Sel4

    Autor: Hello_World 30.07.14 - 12:23

    Ach, also bei iPhone ist eine Binnenmajuskel OK, aber bei seL4 nicht? Das sagt ja einiges über die Prioritäten von golem aus.

  1. Thema

Neues Thema Ansicht wechseln


Um zu kommentieren, loggen Sie sich bitte ein oder registrieren Sie sich. Sie müssen ausserdem in Ihrem Account-Profil unter Forum einen Nutzernamen vergeben haben. Zum Login

Stellenmarkt
  1. E-Learning Manager (m/w/d)
    ALLPLAN GmbH, München
  2. Entwicklungsingenieur Hard- und Software (m/w/d)
    WashTec Holding GmbH, Recklinghausen
  3. Informatiker im EDI Software Support (m/w/d)
    IWOfurn Service GmbH, Holzgerlingen (Home-Office)
  4. IT-Systemadministrator (m/w/d) für das Referat IT-Infrastruktur
    DAAD - Deutscher Akademischer Austauschdienst e.V., Bonn

Detailsuche


Golem pur
  • Golem.de ohne Werbung nutzen

Anzeige
Top-Angebote
  1. (u. a. Age of Empires Definitive Collection für 17,99€, Age of Empires Definitive Collection...
  2. (u. a. Zombieland 1 & 2 für 29,99€, Equalizer 1 & 2 für 29,99€ - Release: 23.09.)
  3. 989€ (mit Rabattcode "PHONES21" - Bestpreis)
  4. (u. a. MK470 Slim Combo Tatatur/Maus-Set für 33,99€ (für MediaMarkt-Club-Mitglieder, sonst 39...


Haben wir etwas übersehen?

E-Mail an news@golem.de