-
seL4
Autor: AynRandHatteRecht 17.10.22 - 12:25
Gerne sei darauf hingewiesen, dass hinter seL4 die Lebensleistungen zweier deutscher Informatiker stehen.
Siehe:
- https://de.wikipedia.org/wiki/L4_(Mikrokernel)
- Jochen Liedtke (†) https://de.wikipedia.org/wiki/Jochen_Liedtke
- Gernot Heiser https://en.wikipedia.org/wiki/Gernot_Heiser -
Re: seL4
Autor: AvailableLight 17.10.22 - 14:27
Danke für die Infos! Die hätten den Artikel deutlich aufgewertet.
-
Re: seL4
Autor: Auspuffanlage 18.10.22 - 00:36
Danke das du das erwähnst!
Diese Infos gehören in den Artikel. Die Wissenschaftler haben da wirklich viel investiert und finde das kann man mal erwähnen.
Das muss man sich mal reinziehen. Formale Beweise die typische Fehler wie buffer overflows und deadlocks ausschließen. Jeder der mal mit Semaphoren gearbeitet hat kennt das^^ (oder sollte es kennen).
Ich wollte mir den Kernel schon vor 2 Jahren anschauen und passiert ist nichts.
Golem.de
