1.1 --- a/pkg/landfall-examples/input_event_client/input_event_client.cc Wed Feb 20 15:30:48 2019 +0100
1.2 +++ b/pkg/landfall-examples/input_event_client/input_event_client.cc Wed Feb 20 15:31:14 2019 +0100
1.3 @@ -45,9 +45,6 @@
1.4
1.5 #include <l4/devices/input-event-loop.h>
1.6
1.7 -#include <pthread.h>
1.8 -#include <pthread-l4.h>
1.9 -
1.10 #include <l4/re/c/util/video/goos_fb.h>
1.11 #include <l4/re/c/video/view.h>
1.12
2.1 --- a/pkg/landfall-examples/keypad_ds_client/keypad_ds_client_c.c Wed Feb 20 15:30:48 2019 +0100
2.2 +++ b/pkg/landfall-examples/keypad_ds_client/keypad_ds_client_c.c Wed Feb 20 15:31:14 2019 +0100
2.3 @@ -30,7 +30,6 @@
2.4 #include <l4/re/c/util/video/goos_fb.h>
2.5 #include <l4/re/c/video/view.h>
2.6
2.7 -#include <l4/util/util.h>
2.8 #include <stdio.h>
2.9 #include <unistd.h>
2.10 #include <stdint.h>