Ask HN: Are there any publicly traded companies that specialize in RISC-V?