Looking the repos to refute your snark, but you appear to be correct. The example given seems to be the thinnest of wrappers around the kernel C API and translates directly into the equivalent C for compilation. Does not seem like native scratch code in the kernel a la Rust.
I was looking at the repos too, not only at the linux module, but the whole "OS". Hoping for some cool scratch stuff.....but....it's just minimal wrappers.
As an aside, I think scratch is great, it's definitely not just for kids, I think it's great for anyone learning programming
