Both are supported.
On 3/3/23, Tomek CEDRO <to...@cedro.info> 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? :-) > > -- > CeDeROM, SQ7MHZ, http://www.tomek.cedro.info >
