energy model WiP

model/arch/msp430fr5969lp/driver/gpio.dfa

+states:
+  - UNINITIALIZED
+  - P0_INPUT
+  - P0_INPUT_PULLUP
+  - P0_OUTPUT_LOW
+  - P0_OUTPUT_HIGH
+
+transition:
+  setup:
+    src: [UNINITIALIZED]
+    dst: P0_OUTPUT
+  input:
+    src: [P0_INPUT, P0_INPUT_PULLUP, P0_OUTPUT_LOW, P0_OUTPUT_HIGH]

model/arch/posix/driver/gpio.dfa

+codegen:
+  instance: gpio
+  includes: ['driver/gpio.h']
+
+states:
+  - UNINITIALIZED
+  - P0_INPUT
+  - P0_OUTPUT
+
+parameters:
+  - px00_status
+
+transition:
+  setup:
+    src: [UNINITIALIZED]
+    dst: P0_OUTPUT
+  input:
+    src: [P0_INPUT, P0_OUTPUT]
+    dst: P0_INPUT
+    arguments:
+      - name: pin
+        values: ['GPIO::px00']
+  output:
+    src: [P0_INPUT, P0_OUTPUT]
+    dst: P0_OUTPUT
+    arguments:
+      - name: pin
+        values: ['GPIO::px00']
+      - name: value
+        values: [0, 1]
+        parameter: px00_status

model/driver/lm75.dfa

 codegen:
   instance: lm75
   includes: ['driver/lm75.h']
+  flags: ['drivers=lm75', 'arch_drivers=i2c']
 
 parameters:
   - os

model/driver/sharp96.dfa

@@ -2,6 +2,7 @@ codegen:
   instance: sharp96
   includes: ['driver/spi_b.h', 'driver/sharp96.h']
   setup: ['spi.setup();', 'sharp96.setup();']
+  flags: ['drivers=sharp96', 'arch_drivers=spi_b,counter']
 
 states:
   - UNINITIALIZED