Japan tried to build an operating system for the entire world, then the US government intervened
(www.xda-developers.com)
Yeah, RP2350 in Raspberry Pi Pico 2 also has 2 ARM cores and 2 RISC-V cores.
Which reminds me, I purchased one a month ago to play around with as it has good documentation, yet I haven't used it once so far.