From f1526ce0776e6464803b69948bdab404277dd17c Mon Sep 17 00:00:00 2001
From: Daniel Friesel <daniel.friesel@uos.de>
Date: Wed, 8 Jan 2020 08:43:43 +0100
Subject: Add MS3430FR5994LP GPIO driver

---
 model/arch/ms430fr5994lp/driver/gpio.dfa | 39 ++++++++++++++++++++++++++++++++
 1 file changed, 39 insertions(+)
 create mode 100644 model/arch/ms430fr5994lp/driver/gpio.dfa

(limited to 'model/arch/ms430fr5994lp')

diff --git a/model/arch/ms430fr5994lp/driver/gpio.dfa b/model/arch/ms430fr5994lp/driver/gpio.dfa
new file mode 100644
index 0000000..459b70a
--- /dev/null
+++ b/model/arch/ms430fr5994lp/driver/gpio.dfa
@@ -0,0 +1,39 @@
+# ! LED values are estimates at the moment
+state:
+  UNINITIALIZED:
+  INITIALIZED:
+    power:
+      static: 0
+      function:
+        raw: (regression_arg(0) * parameter(led0) + regression_arg(1) * parameter(led1)) * parameter(voltage_v)
+        regression_args: [2778, 2778]
+
+parameters:
+- led0
+- led1
+- voltage_v
+
+transition:
+  setup:
+    src: [UNINITIALIZED]
+    dst: INITIALIZED
+    set_param:
+      led0: 0
+      led1: 0
+      voltage_v: 3.3
+  led_on0:
+    loop: [INITIALIZED]
+    set_param:
+      led0: 1
+  led_on1:
+    loop: [INITIALIZED]
+    set_param:
+      led1: 1
+  led_off0:
+    loop: [INITIALIZED]
+    set_param:
+      led0: 0
+  led_off1:
+    loop: [INITIALIZED]
+    set_param:
+      led1: 0
-- 
cgit v1.2.3