From 59c4ea8573b1f6345e1b610bfcb9599e028e630c Mon Sep 17 00:00:00 2001
From: Kevin <68612569+diyelectromusic@users.noreply.github.com>
Date: Tue, 21 Nov 2023 00:25:33 -0800
Subject: [PATCH] Set "official" (as allocated from pid.codes) USB vendor and
 device ID for MiniDexed

---
 USBID.sh  | 2 ++
 submod.sh | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)
 create mode 100644 USBID.sh

diff --git a/USBID.sh b/USBID.sh
new file mode 100644
index 0000000..593df3a
--- /dev/null
+++ b/USBID.sh
@@ -0,0 +1,2 @@
+USB_VID=0x1209
+USB_DID=0xF043
diff --git a/submod.sh b/submod.sh
index 8683b4b..2e24228 100755
--- a/submod.sh
+++ b/submod.sh
@@ -12,7 +12,7 @@ cd -
 #
 # Optional update submodules explicitly
 cd circle-stdlib/libs/circle
-#git checkout develop
+git checkout fe09c4b
 cd -
 cd circle-stdlib/libs/circle-newlib
 #git checkout develop