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!