Use mainline repository of MicroPython

There's no need for us to have our own fork. All of the seL4/LionsOS specific code is not in the MicroPython source tree.
au-ts · Dec 19, 2023 · d6d8f2a · d6d8f2a
1 parent 7fb3912
commit d6d8f2a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -8,8 +8,7 @@
 	branch = main
 [submodule "micropython"]
 	path = micropython
-	url = https://github.com/Ivan-Velickovic/micropython.git
-	branch = kiss
+	url = https://github.com/micropython/micropython.git
 [submodule "musllibc"]
 	path = musllibc
 	url = [email protected]:au-ts/musllibc.git

diff --git a/micropython b/micropython
+0 −54		ports/kiss/Makefile
+0 −60		ports/kiss/main.c
+0 −8		ports/kiss/micropython.system
+0 −39		ports/kiss/mpconfigport.h
+0 −18		ports/kiss/mphalport.c
+0 −1		ports/kiss/mphalport.h
+0 −33		ports/kiss/uart.c
+0 −2		ports/kiss/uart.h