use a submodule for NuttX