From 68799a2dd4bfd8a6492d674966a66d89bd459a2b Mon Sep 17 00:00:00 2001
From: Timotej Lazar <timotej.lazar@fri.uni-lj.si>
Date: Fri, 30 Sep 2022 12:38:31 +0000
Subject: [PATCH] Add more VS Code extensions

---
 roles/winroom/tasks/vscode.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/roles/winroom/tasks/vscode.yml b/roles/winroom/tasks/vscode.yml
index 899a667..016e3ee 100644
--- a/roles/winroom/tasks/vscode.yml
+++ b/roles/winroom/tasks/vscode.yml
@@ -18,3 +18,7 @@
   - ocamllabs.ocaml-platform
   - stonebuddha.vscode-better-sml
   - vscode-icons-team.vscode-icons
+  - dan-c-underwood.arm # RA-63703
+  - marus25.cortex-debug # RA-63703
+  - NateAGeek.memory-viewer # RA-63703
+  - ms-vscode.cpptools-extension-pack # RA-63703