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.

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

Neues Thema Ansicht wechseln


Thema
 

Codeanalyse

monettenom | 29.07.14 21:55
 

Re: Codeanalyse

rommudoh | 30.07.14 10:15
 

Re: Codeanalyse

gadthrawn | 31.07.14 08:41
 

Re: Codeanalyse

Hello_World | 31.07.14 11:21
 

Was ein Schwachfug

Linuxschaden | 29.07.14 16:55
 

Re: Was ein Schwachfug

picaschaf | 29.07.14 17:05
 

Re: Was ein Schwachfug

SelfEsteem | 29.07.14 17:11
 

Re: Was ein Schwachfug

Linuxschaden | 29.07.14 17:17
 

Re: Was ein Schwachfug

SelfEsteem | 29.07.14 17:24
 

Re: Was ein Schwachfug

derdiedas | 29.07.14 17:33
 

Re: Was ein Schwachfug

walkytalky | 29.07.14 17:26
 

Re: Was ein Schwachfug

Linuxschaden | 29.07.14 17:34
 

Re: Was ein Schwachfug

SelfEsteem | 29.07.14 17:39
 

Re: Was ein Schwachfug

Linuxschaden | 29.07.14 17:51
 

Re: Was ein Schwachfug

Linuxschaden | 29.07.14 18:13
 

Re: Was ein Schwachfug

SelfEsteem | 29.07.14 19:14
 

Re: Was ein Schwachfug

Linuxschaden | 29.07.14 19:46
 

Re: Was ein Schwachfug

SelfEsteem | 29.07.14 17:35
 

Re: Was ein Schwachfug

Steffo | 29.07.14 22:19
 

Re: Was ein Schwachfug

SelfEsteem | 29.07.14 22:56
 

Re: Was ein Schwachfug

Linuxschaden | 29.07.14 23:16
 

Re: Was ein Schwachfug

Hello_World | 29.07.14 23:36
 

Re: Was ein Schwachfug

Linuxschaden | 30.07.14 00:08
 

Re: Was ein Schwachfug

Hello_World | 30.07.14 00:43
 

Re: Was ein Schwachfug

gadthrawn | 31.07.14 08:49
 

Re: Was ein Schwachfug

Anonymer Nutzer | 30.07.14 03:35
 

Re: Was ein Schwachfug

Steffo | 30.07.14 08:22
 

Re: Was ein Schwachfug

raphaelo00 | 30.07.14 11:06
 

WAT?

majablagdan | 29.07.14 12:37
 

Re: WAT?

Nephtys | 29.07.14 12:51
 

Re: WAT?

ai114 | 29.07.14 13:02
 

Re: WAT?

lestard | 29.07.14 13:39
 

Re: WAT?

frostbitten king | 29.07.14 15:15
 

Re: WAT?

486dx4-160 | 29.07.14 18:14
 

Re: WAT?

frostbitten king | 30.07.14 14:11
 

Re: WAT?

dit | 29.07.14 16:09
 

Re: WAT?

Hello_World | 30.07.14 00:01
 

@Golem: seL4, nicht Sel4

rommudoh | 29.07.14 14:17
 

Re: @Golem: seL4, nicht Sel4

AIM-9 Sidewinder | 30.07.14 06:51
 

Re: @Golem: seL4, nicht Sel4

Hello_World | 30.07.14 12:23
 

@golem: Eben größtenteils kein...

kagebe | 30.07.14 09:49
 

Re: @golem: Eben größtenteils kein...

Hello_World | 30.07.14 12:21
 

Ach ist das nicht herrlich...

DerVorhangZuUnd... | 29.07.14 18:11
 

Re: Ach ist das nicht herrlich...

Hello_World | 30.07.14 00:14
 

Re: Ach ist das nicht herrlich...

DerVorhangZuUnd... | 30.07.14 05:31
 

Re: Ach ist das nicht herrlich...

Hello_World | 30.07.14 12:19
 

Und warum …

0xLeon | 29.07.14 15:55
 

Re: Und warum …

picaschaf | 29.07.14 17:03
 

Re: Und warum …

Hello_World | 29.07.14 23:52
 

Re: Und warum …

Moe479 | 29.07.14 23:01

Neues Thema Ansicht wechseln



Stellenmarkt
  1. Data-Analyst (d/m/w) Ökonometrie, Statistik
    Prognos AG - Wir geben Orientierung., Freiburg im Breisgau, Berlin, München
  2. Mitarbeiter (m/w/d) für den IT First Level Support
    Diakonie Hasenbergl e.V., München
  3. Discover Trainee (m/w/d) eCommerce
    Vodafone GmbH, Düsseldorf
  4. Architekt (m/w/d) für den Bereich Identity und Access-Management (IAM)
    Allianz Deutschland AG, München Unterföhring

Detailsuche


Golem pur
  • Golem.de ohne Werbung nutzen

Anzeige
Hardware-Angebote
  1. 499€
  2. 499,99€


Haben wir etwas übersehen?

E-Mail an news@golem.de


Halbleiterproduktion: TSMC will klimaneutral werden
Halbleiterproduktion
TSMC will klimaneutral werden

Der Chiphersteller TSMC hat angekündigt, bis 2050 seine Emissionen auf "Netto-Null" zu senken - setzt dabei aber auch auf fragwürdige Kompensationsprojekte.
Von Hanno Böck

  1. Halbleiterfertigung Intel soll mehr 3-nm-Buchungen als Apple haben
  2. Halbleiterfertigung Was TSMC in den nächsten Monaten vorhat
  3. Halbleiterfertigung AMDs Epyc produzieren sich bei TSMC selbst

Custom Keyboard GMMK Pro: Tastatur selbst bauen macht Spaß
Custom Keyboard GMMK Pro
Tastatur selbst bauen macht Spaß

Wenn die mechanische Tastatur nicht ausreicht, kommt der Selbstbau in Frage. Ich habe klein angefangen und es am GMMK Pro ausprobiert.
Ein Erfahrungsbericht von Oliver Nickel

  1. ZSA Moonlander im Test Das Tastatur-Raumschiff
  2. Alloy Origins Core im Test Full Metal Keyboard
  3. Duckypad Mechanisches Tastenpad ermöglicht Makros und Tastenkürzel

Dune: Der Wüstenplanet so schön wie nie zuvor
Dune
Der Wüstenplanet so schön wie nie zuvor

Bombastisch, fantastisch besetzt und einfach wunderschön: Die Dune-Neuverfilmung von Denis Villeneuve ist ein Traum - aber leider nur ein halber.
Eine Rezension von Peter Osteried

  1. Science-Fiction-Filme aus den 80ern Damals gefloppt, heute gefeiert
  2. Film zu Stargate: Origins Da hilft nur Amnesie
  3. Science Fiction Raumpatrouille Orion wird neu aufgelegt