There are already so many Unix like operating systems of all sizes written in C (e.g. Minix, xv6, BSD, Darwin, Hurd, Lemon, MentOS, SanOS). If I were to go to such an effort, I would try another language, or even my own (like e.g. Bunnix written in Hare). It is meanwhile more than clear that it can be done in C. But C is not really a good programming language (weird syntax, incomplete type checking, many specification gaps, etc.), so it would actually be more interesting to explore the suitability of other languages for such a task.