What language did you have in mind?  It has to be suitable for writing an OS, so Java, python and what not are out.  The project has been around for more than a decade so the language has to have had a stable v1 release more than 10 years ago.  Also the original code you are working with is in C so you will need to translate it.  C seems like a perfectly reasonable choice.