IMXRT1020-EVK hardfault on boot

Hello, I've been wanting to try out NuttX using the MIMXRT1020-EVK. However, I get a hardfault at boot which I haven't been able to solve by myself and would appreciate some help to figure out if i'm doing something wrong or if there is an issue with the configuration for this board. I hav

Call for Proposals: NuttX Online Workshop 2022 extended until August 21

Hi NuttXers, We extended the proposal submission until this weekend: August 21: https://nuttx.events Some people are asking to extend the time because their holidays. BR, Alan