Import app manager, samples and test-tools

core/iwasm/app-samples/smart-light/build.sh

@@ -0,0 +1,17 @@
+# Copyright (C) 2019 Intel Corporation.  All rights reserved.
+#
+# 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.
+
+emcc -g -O3 *.c -s WASM=1 -s SIDE_MODULE=1 -s ASSERTIONS=1 -s STACK_OVERFLOW_CHECK=2 \
+     -s TOTAL_MEMORY=65536 -s TOTAL_STACK=4096 -o test.wasm
+#./jeffdump -o ../test_wasm.h -n wasm_test_file test.wasm

core/iwasm/app-samples/smart-light/main.c

@@ -0,0 +1,67 @@
+/*
+ * Copyright (C) 2019 Intel Corporation.  All rights reserved.
+ *
+ * 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>
+
+//User LED
+#define LED_PORT "GPIOA"
+#define LED 5
+
+//User KEY
+#define KEY_PORT "GPIOC"
+#define KEY 13
+
+/** GPIO pin to be input. */
+#define GPIO_DIR_IN (0 << 0)
+
+/** GPIO pin to be output. */
+#define GPIO_DIR_OUT (1 << 0)
+
+void *device_get_binding(const char *);
+int gpio_pin_configure(void *, unsigned int, int);
+int gpio_pin_read(void *, unsigned int, unsigned int *);
+int gpio_pin_write(void *, unsigned int, unsigned int);
+
+int main(int argc, char **argv)
+{
+    unsigned int gpio_value;
+    unsigned char flag = 0;
+    struct device *dev, *key_dev;
+
+    dev = device_get_binding(LED_PORT);
+    /* Set LED pin as output */
+    gpio_pin_configure(dev, LED, GPIO_DIR_OUT);
+
+    key_dev = device_get_binding(KEY_PORT);
+    /* Set KEY pin as input */
+    gpio_pin_configure(key_dev, KEY, GPIO_DIR_IN);
+
+    while (1) {
+        gpio_pin_read(key_dev, KEY, &gpio_value);
+        if (!gpio_value) {
+            gpio_pin_write(dev, LED, 1);
+            if (!flag) {
+                printf("object detected\n");
+                flag = 1;
+            }
+        } else {
+            gpio_pin_write(dev, LED, 0);
+            flag = 0;
+        }
+    }
+    return 0;
+}