pbrier opened a new pull request #4645: URL: https://github.com/apache/incubator-nuttx/pull/4645
## Summary Added (boilerplate) reset source code code to teensy4 board to compile with ```CONFIG_BOARDCTL_RESET``` ## Impact Enabling ```CONFIG_BOARDCTL_RESET``` does not lead to a link failure anymore for the teensy board. Other boards are not affected. If the ```CONFIG_BOARDCTL_RESET``` is not enabled, there should be no change to the system. ## Testing Enable ```CONFIG_BOARDCTL_RESET``` and try the ```reboot``` command in ```nsh``` This should reboot the device. -- 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
