Are there chiplets from other sources? The announcement seems to indicate there is a catalog. But I imagine there are huge barriers to making chiplets from another source / made using a different process / different size and shape and contacts work (maybe? I don't really know)

And another question: The quad core RISC-V chiplet, is that 64 bit? RV64GC? Any other extensions like V, H, ...?