Fix Arduino build

platforms/arduino/src/main.cpp

@@ -8,6 +8,7 @@
 #include "Arduino.h"
 
 #include "m3/wasm3.h"
+#include "m3/m3_config.h"
 
 #include "m3/extra/fib32.wasm.h"
 
@@ -66,9 +67,9 @@ void setup()
   Serial.println("Wasm3 v" M3_VERSION " on Arduino (" M3_ARCH "), build " __DATE__ " " __TIME__);
 
   digitalWrite(LED_BUILTIN, HIGH);
-  u32 start = millis();
+  uint32_t start = millis();
   run_wasm();
-  u32 end = millis();
+  uint32_t end = millis();
   digitalWrite(LED_BUILTIN, LOW);
 
   Serial.print("Elapsed: ");

platforms/hifive1/src/main.c

@@ -8,6 +8,7 @@
 #include <stdio.h>
 #include <time.h>
 #include "m3/wasm3.h"
+#include "m3/m3_config.h"
 
 #include "m3/extra/fib32.wasm.h"
 

source/m3_exec.h

@@ -566,6 +566,8 @@ d_m3Op  (CallRawFunction)
         }
         outp += snprintf(outp, oute-outp, (i < nArgs-1) ? ", " : ")");
     }
+#else
+    (void)function;  // unused
 #endif
 
     m3ret_t possible_trap = call (m3MemRuntime(_mem), sp, m3MemData(_mem), userdata);