You are programming an OS kernel now in C++?
Sounds like an awful business decision for a hardware startup.
In the interest of “crawl, walk, run”:
Start with an OS-less platform first. Something that doesn’t need an OS, like Arduino platform board.
Yes, it won’t highlight all the novel address space innovations and target “specializations” that you bring to the table but it’s a start.
Then iterate. Similar to how SiFive did it with their RISC-V offerings.
I worry about you guys. All the best!