> I also noticed that 536915151 is 0x2000ACCF, which seems like a memory
> pointer, which raises my suspicion there is some misconfiguration issue.
This error message shows wrong information, fixed here
https://github.com/apache/nuttx/pull/11843
But still if this message is printed, something is
Hello, we have a goal to put Nuts on a board with Rockchip RK3568 on board. Can
you please tell me how to download to the Nuttx board. No good and detailed
guides were found on the Internet. Is it also possible to download Nuttx via
USB? Because this type of download is missing in make menuconf
Have you tried our official documentation?
https://nuttx.apache.org/docs/latest/
RK3568 does not seem to be supported yet but you can see how Allwinner A64
and Rockchip RK3399 are implemented as a reference point (beware it is a
lot of work):
https://nuttx.apache.org/docs/latest/platforms/arm64/