|
|
4def9a74f0
|
kexts: ps2kbd: fix driver not being registered
|
2023-06-03 21:06:52 +01:00 |
|
|
|
b7b0691b8f
|
dev: implement driver objects to organise and identify devices
|
2023-06-02 19:35:07 +01:00 |
|
|
|
648c370679
|
kexts: add stub VGA16 framebuffer driver
|
2023-06-02 19:32:56 +01:00 |
|
|
|
0238008986
|
dev: auto-generate device name in device_register if name is unspecified
|
2023-05-11 21:19:00 +01:00 |
|
|
|
802e610eed
|
ps2kbd: move to kexts/drivers/input subtree
|
2023-05-11 20:30:52 +01:00 |
|
