This is probably a stupid question, but why real-time? Isn't it enough to "just" make an OS in SMB, doesn't adding real-time guarantees make it even more difficult, by restricting what allocator and scheduling algorithms you can use?

In any case, this looks like a really cool project.