doc: Fix remote debugging instructions on Arduino 101

If you pass arduino_101_factory, it expects a directory with that name,
but really the directory arduino_101 contains the factory config.

Change-Id: I12ce11c0e32a9d50998b52c2e2c16780b6ce00da
Signed-off-by: Geoff Gustafson <geoff@linux.intel.com>
This commit is contained in:
Geoff Gustafson 2016-06-03 14:15:13 -07:00 committed by Anas Nashif
commit dbbe089aa1

View file

@ -467,7 +467,7 @@ for BOARD=arduino_101_factory if you wish to debug on the quark core.
.. code-block:: console
$ cd $ZEPHYR_BASE/samples/hello_world/nanokernel
$ make BOARD=arduino_101_factory debugserver
$ make BOARD=arduino_101 debugserver
These commands will start an ``openocd`` session with a local telnet
server (on port 4444 for direct openocd commands to be issued), and a