Exactly this. The kernel seems like the least interesting part of an AR system. Also targeting x86, ARM and RISC-V for a new kernel is such a huge workload it makes no sense not to just re-use something already existing.

Targeting everything has indeed been a workload but we're trying to do the best we can! The project was initially just on x86 and we ported it to ARM in the last 3-4 months. The time it took us to port it on ARM was a fraction of what it took for us to build it on x86. Similarly, we look forward to port our OS to RISC-V even quicker and thus be ready to serve any and every use case and take up any opportunity that might present itself!