On Monday, 16 May 2022 at 08:08:51 UTC, Walter Bright wrote: > ... > .... > I am unfamiliar with kernel development and its needs. It > apparently is also written in a dialect of C with special > compiler switches. What it 'needs' is to move away from C. https://cve.mitre.org/cgi-bin/cvekey.cgi?keyword=linux+kernel