>>35
If you don't understand how OS kernels actually work you shouldn't make comments like this. All that you need to make yourself compatible with other drivers is to comply with basic and well documented API standards. The only similarity you need with other OSes to be compatible is interface compatibility, the guts can be completely different if you so desire so long as the end result is the same. But OS kernels are far from broken so why on earth would anybody waste time to fix them?
As for the OP, Ada is a high level language with a runtime. Runtimes get in the way of some of the low level functionality you need to write an actually functioning kernel but at the same time it's what makes the language so much "safer".