From b0280573a2d76d9e0af616acf45f0982cde29fff Mon Sep 17 00:00:00 2001 From: Ayan Pahwa Date: Thu, 28 Sep 2023 19:42:27 +0530 Subject: [PATCH] Update install.md to add correct board type Change board from nrf52840dk to nrf52840dk_opensk --- docs/install.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/install.md b/docs/install.md index 71b3eb45..7902f624 100644 --- a/docs/install.md +++ b/docs/install.md @@ -111,7 +111,7 @@ above. However, we support other programmers: left to the user. If your board is already flashed with Tock OS, you may skip installing it: -`./deploy.py --board=nrf52840dk --opensk --no-tockos` +`./deploy.py --board=nrf52840dk_opensk --opensk --no-tockos` For more options, we invite you to read the help of our `deploy.py` script by running `./deploy.py --help`.