Increase the C stack size. Fix a really stupid bug.

davidgiven · davidgiven · commit f17124ba6fac · 2024-06-04T23:23:22.000+02:00
diff --git a/ports/tc32/main.c b/ports/tc32/main.c
@@ -72,13 +72,11 @@ MP_NOINLINE static void hard_init() {
 MP_NOINLINE static void soft_init() {
 
   /* The Telink SDK doesn't define any symbols for these, so we just hard code
-   * it. The stack starts at the end of memory, 0x80c000. We leave 1kB for it,
-   * meaning that our heap needs to end at 0x80bc00. */
-  gc_init((void *)&_end_bss_, (void *)0x80bc00);
+   * it. The stack starts at the end of memory, 0x80c000. We leave 2kB for it,
+   * meaning that our heap needs to end at 0x80b800. */
+  gc_init((void *)&_end_bss_, (void *)0x80b800);
   mp_init();
   machine_init();
-
-  mp_deinit();
 }
 
 MP_NOINLINE static void repl() {
