The port to nuttx is complete.
You should be able to run telnet to it, read/write files on it’s flash and from the PC and used the usb serial port.
Memory is really tight! you will need to add -Os to the Make.defs if you turn on Debugging.
Please let me if you have any issues.
David