Add support for Mbed-OS 6.15.0 (#4909)

The default Mbed OS device (STM32F4) had been changed to FRDM-K64F that is supported by both Mbed OS 5 and Mbed OS 6 versions. Makefile had also been modified to have a flash recipe. JerryScript-DCO-1.0-Signed-off-by: Roland Takacs roland.takacs@h-lab.eu
2022-02-22 10:29:07 +01:00
parent d00f4810b0
commit c9e9f8e818
9 changed files with 125 additions and 117 deletions
@@ -0,0 +1,99 @@
+/* Copyright JS Foundation and other contributors, http://js.foundation
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *     http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+#include <stdio.h>
+#include <stdlib.h>
+
+#include "jerryscript-port.h"
+
+#include "mbed.h"
+
+/**
+ * Aborts the program.
+ */
+void
+jerry_port_fatal (jerry_fatal_code_t code)
+{
+  exit ((int) code);
+} /* jerry_port_fatal */
+
+/**
+ * Provide log message implementation for the engine.
+ */
+void
+jerry_port_log (const char *message_p) /**< message */
+{
+  while (*message_p != '\0')
+  {
+    if (*message_p == '\n')
+    {
+      /* add CR for proper display in serial monitors */
+      fputc ('\r', stderr);
+    }
+
+    fputc (*message_p++, stderr);
+  }
+} /* jerry_port_log */
+
+/**
+ * Dummy function to get the time zone adjustment.
+ *
+ * @return 0
+ */
+int32_t
+jerry_port_local_tza (double unix_ms)
+{
+  (void) unix_ms;
+
+  return 0;
+} /* jerry_port_local_tza */
+
+/**
+ * Implementation of jerry_port_current_time.
+ *
+ * @return current timer's counter value in milliseconds
+ */
+double
+jerry_port_current_time (void)
+{
+  static uint64_t last_tick = 0;
+  static time_t last_time = 0;
+  static uint32_t skew = 0;
+
+  uint64_t curr_tick = us_ticker_read (); /* The value is in microseconds. */
+  time_t curr_time = time (NULL); /*  The value is in seconds. */
+  double result = curr_time * 1000;
+
+  /* The us_ticker_read () has an overflow for each UINT_MAX microseconds
+   * (~71 mins). For each overflow event the ticker-based clock is about 33
+   * milliseconds fast. Without a timer thread the milliseconds part of the
+   * time can be corrected if the difference of two get_current_time calls
+   * are within the mentioned 71 mins. Above that interval we can assume
+   * that the milliseconds part of the time is negligibe.
+   */
+  if (curr_time - last_time > (time_t) (((uint32_t) -1) / 1000000))
+  {
+    skew = 0;
+  }
+  else if (last_tick > curr_tick)
+  {
+    skew = (skew + 33) % 1000;
+  }
+  result += (curr_tick / 1000 - skew) % 1000;
+
+  last_tick = curr_tick;
+  last_time = curr_time;
+  return result;
+} /* jerry_port_current_time */