On Mon, 15 Jul 2024 at 14:30, Alan C. Assis <acas...@gmail.com> wrote:
> Hi David, > > A quick way to test on your board is using version 10.2.0 while we fix the > issue: > > https://nuttx.apache.org/download/ > > This is the last version before the PR that introduced the issue. > > If you have good experience with ARM7TDMI and want to help to track the > issue, please let me know. > Why wasn't the PR reverted? Do any of the other ARMv4/ARMv5 boards still work?