I think it's pretty safe to assume that if your language can't have a buffer overflow, you can't code an OS in it either. Part of an OS, sure, but not the whole thing.