Update examples

platforms/arduino/src/main.cpp

@@ -63,6 +63,7 @@ void setup()
   delay(10);
   while (!Serial) {}
 
+  Serial.println();
   Serial.println("Wasm3 v" M3_VERSION " on Arduino (" M3_ARCH "), build " __DATE__ " " __TIME__);
 
   digitalWrite(LED_BUILTIN, HIGH);

platforms/hifive1/platformio.ini

@@ -20,6 +20,7 @@ monitor_speed = 115200
 board_build.f_cpu = 320000000L
 
 src_build_flags =
+  -Dd_m3FixedHeap=8192
   -Os -Wfatal-errors
   -flto
 
@@ -35,6 +36,7 @@ monitor_speed = 115200
 board_build.f_cpu = 320000000L
 
 src_build_flags =
+  -Dd_m3FixedHeap=8192
   -Os -Wfatal-errors
   -flto
 

platforms/hifive1/src/main.c

@@ -51,7 +51,8 @@ void run_wasm()
 }
 
 int main() {
-    printf("\nWasm3 v" M3_VERSION " on HiFive1, build " __DATE__ " " __TIME__ "\n");
+    printf("\n");
+    printf("Wasm3 v" M3_VERSION " on HiFive1 (" M3_ARCH "), build " __DATE__ " " __TIME__ "\n");
     // TODO: fix clock (shows wrong time)
     clock_t start = clock();
     run_wasm();

platforms/particle/src/main.ino

@@ -63,6 +63,7 @@ void setup()
   Serial.begin(115200);
   delay(10);
 
+  Serial.println();
   Serial.println("Wasm3 v" M3_VERSION " on Particle, build " __DATE__ " " __TIME__);
 
   u32 start = millis();

source/m3_config_platforms.h

@@ -233,7 +233,8 @@ typedef int8_t          i8;
  * Platform-specific defaults
  */
 
-# if defined(ARDUINO) || defined(PARTICLE) || defined(PLATFORMIO) || defined(__MBED__) || defined(ESP8266) || defined(ESP32) || defined(BLUE_PILL) || defined(WM_W600) || defined(FOMU)
+# if defined(ARDUINO) || defined(PARTICLE) || defined(PLATFORMIO) || defined(__MBED__) || \
+     defined(ESP8266) || defined(ESP32) || defined(BLUE_PILL) || defined(WM_W600) || defined(FOMU)
 #  ifndef d_m3LogOutput
 #    define d_m3LogOutput                       false
 #  endif