DOMOS Release 5.8

As of now an update for our DOMOS operating system is available.

Release DOMOS 5.8

• Fix: Kernel (security fixes (CVE-2018-12207, CVE-2019-0154, CVE-2019-11135, ...),bugfixes and improvements)
• Updates of several packages