2899979df9
r356087 made it rather innocuous to double-register built-in keyboard drivers; we now set a flag to indicate that it's been registered and only act once on a registration anyways. There is no misleading here, as the follow-up kbd_delete_driver will actually remove the driver as needed now that the linker set isn't also consulted after kbdinit. |
||
---|---|---|
.. | ||
hv_kbd.c | ||
hv_kbdc.c | ||
hv_kbdc.h |