 wash
|
28dab53147
|
kexts: pci: create generic devices for all pci devices found during scan
|
2023-06-10 13:23:57 +01:00 |
|
|
wash
|
4a2c5de5b6
|
kexts: pci: implement device enumeration
|
2023-06-09 21:27:09 +01:00 |
|
|
wash
|
9bea0a8081
|
kexts: acpi: add DEFINE_KEXT
|
2023-06-09 21:25:53 +01:00 |
|
|
wash
|
27387aa080
|
x86_64: move ACPI driver to kext
|
2023-06-09 19:31:30 +01:00 |
|
|
wash
|
f83ecca490
|
dev: boot framebuffer support
|
2023-06-08 20:46:43 +01:00 |
|
|
wash
|
cb220452db
|
dev: start implementing framebuffer devices
|
2023-06-06 22:01:17 +01:00 |
|
|
wash
|
81533a1cff
|
kexts: ps2kbd: log message before and after initialising controller
|
2023-06-06 22:01:07 +01:00 |
|
|
wash
|
4def9a74f0
|
kexts: ps2kbd: fix driver not being registered
|
2023-06-03 21:06:52 +01:00 |
|
|
wash
|
b7b0691b8f
|
dev: implement driver objects to organise and identify devices
|
2023-06-02 19:35:07 +01:00 |
|
|
wash
|
648c370679
|
kexts: add stub VGA16 framebuffer driver
|
2023-06-02 19:32:56 +01:00 |
|
|
wash
|
0238008986
|
dev: auto-generate device name in device_register if name is unspecified
|
2023-05-11 21:19:00 +01:00 |
|
|
wash
|
802e610eed
|
ps2kbd: move to kexts/drivers/input subtree
|
2023-05-11 20:30:52 +01:00 |
|