I honestly don’t recall the details and can’t check right now. It’s been working like that for years.

I remember the main issues I was having were around yubikey, my usb hub which can switch between two pc’s and hotplugging. So I had to use a second tool which did something on any device plugin.

I think using both keyboards at once worked fine. I didn’t mean system keyboard language.