Matthew Wilcox recently realized there might be a value in
depending on C
extensions provided by the Plan 9 variant of the C programming language.
All it would require is using the -fplan9-extensions command-line
argument when compiling the kernel. As Matthew pointed out, Plan 9
extensions have been supported in GCC as of version 4.6, which is the
minimum version supported by the kernel. So theoretically, there would be no
conflict.