IF cool (ledOn LED1) (ledOff LED1) :.
digitalWrite D5 cool
}
- nodeMCU = TCP
+ nodeMCU = makeDevice "NodeMCU"
+ (TCPDevice {host="192.168.0.12", port=8888})
+ stm32 = makeDevice "Stm32"
+ (SerialDevice {devicePath="/dev/ttyUSB0", baudrate=B9600, ...}
\end{lstlisting}
\subsection[Lifting mTasks to iTasks-Tasks]%