On Fri, Mar 3, 2023 at 5:18 PM Tomek CEDRO wrote: > > On Fri, Mar 3, 2023 at 5:10 PM Alan C. Assis wrote: > > Hi Tomek, > > Nice finding. Actually NuttX on RISC-V is already used on commercial > > products from at least one big company, so I suggest it should be > > Fully Supported. > > ACK! Is both riscv32 and riscv64 ISA supported or only one of them? :-)
It seems that both riscv32 and riscv64 are supported? :-) rv32 search: https://github.com/apache/nuttx/search?q=riscv32 rv64 search: https://github.com/apache/nuttx/search?q=riscv64 -- CeDeROM, SQ7MHZ, http://www.tomek.cedro.info
