From 7d274b73f0bc02a9185b371d3d5dce5ab04a08c1 Mon Sep 17 00:00:00 2001 From: Fabian Kaczmarczyck Date: Fri, 23 Aug 2024 16:00:45 +0200 Subject: [PATCH] Fixes install instructions for dongle Rebases change in #680 to develop. --- docs/boards/nrf52840_dongle.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/boards/nrf52840_dongle.md b/docs/boards/nrf52840_dongle.md index bda58e62..4d1f4a8a 100644 --- a/docs/boards/nrf52840_dongle.md +++ b/docs/boards/nrf52840_dongle.md @@ -67,7 +67,7 @@ Follow these steps: Run our script for compiling/flashing Tock OS on your device: ```shell -$ ./deploy.py --board=nrf52840_dongle --programmer=jlink +$ ./deploy.py --board=nrf52840_dongle_opensk --opensk --programmer=jlink ``` #### OpenOCD @@ -99,7 +99,7 @@ $ ./deploy.py --board=nrf52840_dongle --programmer=jlink 1. Run the deploy script with the appropriate options, i.e.: ```shell - ./deploy.py --board=nrf52840_dongle --opensk --programmer=openocd + ./deploy.py --board=nrf52840_dongle_opensk --opensk --programmer=openocd ```