I have a "framework" (really just a build tool and some examples) for bare-bones Win32 support for D[1]. I haven't tried writing kernel drivers with it though.

I used it to create a few Fallout 4 mods[2]. Avoiding the stdlib was not necessary there, but I didn't want the bloat. One interesting application of D's metaprogramming has been automatically recursively instrumenting the DirectX COM API just from the D interface definitions[3] (not IDLs).

  [1]: https://github.com/CyberShadow/SlimD
  [2]: https://github.com/CyberShadow/csfo4
  [3]: https://github.com/CyberShadow/csfo4/blob/master/dxlog/d3d11.d