Update install.md to add correct board type

Change board from nrf52840dk to nrf52840dk_opensk
google · Sep 28, 2023 · b028057 · b028057
1 parent 5b67f3f
commit b028057
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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`.