I have an external usb keyboard that is recognized by Mini but, unfortunately, badly mapped (for some keys). I would like to understand how I can use my personal configuration (good mapped). I noticed that in the path /usr/lib/vice/C64/ there is a list of keyboards. I guess I need to add it to that list. But the question I am asking is: how does the system then know to use that configuration?