you are reinventing a possibly square wheel with a very large hammer.

A very good summary. The task may be easier. The typed code may be shorter. The overhead created by the language will render the whole task useless - the kernel maybe will work, but any task implemented for it will be just unacceptably slow.

A good approach could be writing it in C++ to get the overall idea and then "manually compiling" - first rewriting everything in C, then converting critical parts into ASM by hand...
While initialization/bootstrap could be easily made in C++ or anything like that, I can't imagine the main loop working at a decent speed in C++.