Add micropython-lib

jepler · jepler · commit 018baf75d509 · 2023-09-22T10:38:21.000-05:00
this is needed during the unix coverage build
diff --git a/.gitmodules b/.gitmodules
@@ -345,3 +345,6 @@
 	path = ports/raspberrypi/lib/Pico-PIO-USB
 	url = https://github.com/sekigon-gonnoc/Pico-PIO-USB.git
 	branch = main
+[submodule "lib/micropython-lib"]
+	path = lib/micropython-lib
+	url = https://github.com/micropython/micropython-lib.git
diff --git a/lib/micropython-lib b/lib/micropython-lib
@@ -0,0 +1 @@
+Subproject commit e6b89eafa3b86d2e8e405450377d459600a30cd6
