Re:SeL4 is verified on RISC-V
by d_tr on Wednesday June 10, 2020 @07:11AM
(#23475809)
I do not think there is anything to obtain yet. The only two designs that I am aware of and that are out-of-order are Berkley's BOOM and Alibaba's Xuantie 910. And then you also need a complete and standardized platform, i.e. chipsets, firmware interfaces, etc. There are also a few standard extensions, including "Packed-SIMD", "Vector" and "Transactional Memory" that are still in a draft state.
[ Parent
| on HN ]
Re:SeL4 is verified on RISC-V
by eatbitseveryday on Wednesday June 10, 2020 @10:03AM
(#23477096)
> Berkeley