nuttx_user.elf