Hi.
I can develop small OS using most(because OS is little) interesting concepts from Plan9 and POSIX.
I have experience in developing for x86(MMX), amd64(SSE-x), AVR, Cortex, ARM architectures.
What CPU architecture you plan to use?
Also for educational purposes i recommend to use high level language - C.