1.1 --- a/pkg/landfall-examples/keypad_ds_client/keypad_ds_client.cc Mon Jun 19 16:55:47 2023 +0200
1.2 +++ b/pkg/landfall-examples/keypad_ds_client/keypad_ds_client.cc Mon Jun 19 16:58:52 2023 +0200
1.3 @@ -26,8 +26,6 @@
1.4 #include <l4/re/c/util/video/goos_fb.h>
1.5 #include <l4/re/c/video/view.h>
1.6
1.7 -#include <ipc/cap_alloc.h>
1.8 -
1.9 #include <stdio.h>
1.10 #include <unistd.h>
1.11 #include <stdint.h>
1.12 @@ -147,13 +145,6 @@
1.13 if (l4_is_invalid_cap(keypad_cap))
1.14 return 1;
1.15
1.16 - /* Obtain a capability for the keypad data. */
1.17 -
1.18 - mem = ipc_cap_alloc();
1.19 -
1.20 - if (l4_is_invalid_cap(mem))
1.21 - return 1;
1.22 -
1.23 /* Obtain a reference to the keypad data. */
1.24
1.25 client_Keypad keypad(keypad_cap);