The IoT is set to permeate our lives as a new and global super infrastructure, where billions of devices with an unprecedented variety of hardware architectures will interact. To enable IoT applications and services to run everywhere without major adaptation, operating systems (OS) provide standardized interfaces to the ...