Microsofts Windows 10 wird künftig auch einen Linux-Kernel ausliefern. Der wird aber nicht für das Windows-System verwendet, sondern für das neue Windows-Subsystem für Linux genutzt. Das macht die Entwicklung und Pflege einfacher. (build2019, Microsoft)