Is it possible to create a kernel for an operating system in D?

[Richard (Rikki) Andrew Cattermole]

Indeed it is. Many people have done projects in this vein, the language 
isn't the limitation.

If you use the -betterC switch, you can fairly quickly get up and going 
and program a kernel as if you were using C, except with a nicer 
language. All other considerations like linker scripts ext. still apply 
however.