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...
Weiterlesen...