ginput : Gnome input devices configuration tool

Manage the settings of your keyboard, mouse, ... with a simple GUI. This is for the internal settings of your devices, not for the OS settings. For example, you can change the mouse DPI, polling rate, rgb, ...

Driver interface

Drivers must expose the following symbols:

void driver_init(); // Initialization
uint32_t driver_getkey(); // Calls to this function must return USB keys that this driver registers, until 0
char* driver_get_name(); // Returns peripheral name
char* driver_get_image(); // Returns peripheral image
device_type_t driver_get_type(); // Returns device type

// Mouse drivers