I once did a micro-OS on college, nothing special, just the process scheduler and a few system calls (no FS, for example).

We used C and assembler. No matter which language you choose you will have to code some stuff on assembler as some things (the scheduler, for instance) have really weirdo algorithms and low-level stuff.

Good luck.

dani++