fixup! Add RIOT examples

Fix examples to build for all boards

Author: LasseRosenow

examples/riot/blinky/Makefile

@@ -12,4 +12,18 @@ DEVELHELP ?= 1
 # Change this to 0 show compiler invocation lines by default:
 QUIET ?= 1
 
+# Enable networking
+USEMODULE += netdev_default
+USEMODULE += auto_init_gnrc_netif
+
+# Enable sockets
+USEMODULE += gnrc_ipv6_default
+USEMODULE += sock_tcp
+USEMODULE += posix_sockets
+USEMODULE += posix_sleep
+USEMODULE += posix_inet
+
+# Enable posix threads
+USEMODULE += pthread
+
 include $(CURDIR)/../../../make/riot/riot.mk

examples/riot/testing_posix_tcp_ip_channel_server/main.c

@@ -2,6 +2,7 @@
 #include "reactor-uc/reactor-uc.h"
 #include <sys/socket.h>
 #include <unistd.h>
+#include <inttypes.h>
 
 #define NUM_ITER 10
 
@@ -26,7 +27,7 @@ int main(void) {
   for (int i = 0; i < NUM_ITER; i++) {
     // waiting for messages from client
     TaggedMessage *message = channel.super.receive(&channel.super);
-    printf("Received message with connection number %i and content %s\n", message->conn_id,
+    printf("Received message with connection number %" PRIi32 " and content %s\n", message->conn_id,
            (char *)message->payload.bytes);
 
     channel.super.send(&channel.super, message);

examples/riot/testing_tcp_ip_channel_server_callback/main.c

@@ -1,13 +1,16 @@
 #include "reactor-uc/federated.h"
 #include "reactor-uc/platform/posix/tcp_ip_channel.h"
 #include "reactor-uc/reactor-uc.h"
+#include <inttypes.h>
 #include <sys/socket.h>
 #include <unistd.h>
+
 TcpIpChannel channel;
 
 void callback_handler(FederatedConnectionBundle *self, TaggedMessage *msg) {
   (void)self;
-  printf("Received message with connection number %i and content %s\n", msg->conn_id, (char *)msg->payload.bytes);
+  printf("Received message with connection number %" PRIi32 " and content %s\n", msg->conn_id,
+         (char *)msg->payload.bytes);
   channel.super.send(&channel.super, msg);
 }