Le premier processeur RISC-V pour PC arrive et se pose en alternative à ARM