Re: [PR] arch/risc-v: Fix wrong source name in make script [nuttx]

jerpelea merged PR #16014: URL: https://github.com/apache/nuttx/pull/16014 -- 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.apa

Re: [PR] arch/risc-v: Fix wrong source name in make script [nuttx]

filippofontana commented on PR #16014: URL: https://github.com/apache/nuttx/pull/16014#issuecomment-2734139496 @inochisa sorry for the late reply, missed the notification. Yes this was also what I did locally and I can confirm it works. Thanks for the quick fix! -- This is an automated me

Re: [PR] arch/risc-v: Fix wrong source name in make script [nuttx]

inochisa commented on PR #16014: URL: https://github.com/apache/nuttx/pull/16014#issuecomment-2733035779 @filippofontana Could you check this? -- 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

[PR] arch/risc-v: Fix wrong source name in make script [nuttx]

inochisa opened a new pull request, #16014: URL: https://github.com/apache/nuttx/pull/16014 ## Summary AIA releted source files in the Make.defs are not right. Replace them with the right source. Fixes: #12804 ## Impact This should have no impact. -- This i