1.1 --- a/pkg/devices/input/src/server/input-keypad-server.cc Fri Jun 01 22:47:51 2018 +0200
1.2 +++ b/pkg/devices/input/src/server/input-keypad-server.cc Fri Jun 01 22:53:02 2018 +0200
1.3 @@ -20,6 +20,7 @@
1.4 */
1.5
1.6 #include <l4/devices/dataspace.h>
1.7 +#include <l4/devices/keypad-loader.h>
1.8 #include "input-event-client.h"
1.9 #include "input-event-server.h"
1.10 #include "input-event-ops.h"
1.11 @@ -38,6 +39,8 @@
1.12 #include <l4/sys/types.h>
1.13 #include <l4/util/util.h>
1.14
1.15 +#include <stdio.h>
1.16 +
1.17 /* Extract a fpage from the message buffers. Provide a Snd_fpage reference for
1.18 modification. */
1.19
1.20 @@ -151,9 +154,11 @@
1.21
1.22
1.23
1.24 -int run(void)
1.25 +int main(void)
1.26 {
1.27 - Keypad *keypad = Keypad::get_keypad();
1.28 + // Load the keypad details from the configured library.
1.29 +
1.30 + Keypad *keypad = load_keypad();
1.31 Input_keypad_client client(keypad);
1.32 void *buffer;
1.33