no1wudi commented on pull request #5662: URL: https://github.com/apache/incubator-nuttx/pull/5662#issuecomment-1057895411
> @no1wudi look like that ARM_HAVE_FPU_D32 and ARCH_HAVE_DPFPU is same, should we merge into one? D32 means the chip have 32 double-precision FPU register and DPFPU means the FPU support double-precision, seems they are not equal. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: commits-unsubscr...@nuttx.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org
