The DIET sources also contain working examples for the SeD Cloud. These can be
found in: <diet_src>/src/examples/cloud. The examples are built automatically
if the DIET_BUILD_EXAMPLES and DIET_HAVE_CLOUD make flags are selected.
Note that the user must change the service configuration file to match his
own Cloud installation.