Comment by pjmlp

Nope, it is a custom Linux kernel with goodies that aren't available upstream like first level support for clang, several Rust modules (no need to argue with anti-Rust kernel folks), all security features turned on, and a micro-kernel like driver subsystem, supporting Java, C++ and Rust.