apio 4753e80583 kernel: Make DeviceRegistry store the created devices instead of creating them when requested		2023-05-09 18:31:27 +02:00
..
ConsoleDevice.cpp	kernel: Make DeviceRegistry store the created devices instead of creating them when requested	2023-05-09 18:31:27 +02:00
ConsoleDevice.h	kernel: Make DeviceRegistry store the created devices instead of creating them when requested	2023-05-09 18:31:27 +02:00
Device.h	kernel+init: Add a framebuffer special device file	2023-04-21 18:18:15 +02:00
DeviceRegistry.cpp	kernel: Make DeviceRegistry store the created devices instead of creating them when requested	2023-05-09 18:31:27 +02:00
DeviceRegistry.h	kernel: Make DeviceRegistry store the created devices instead of creating them when requested	2023-05-09 18:31:27 +02:00
FramebufferDevice.cpp	kernel: Make DeviceRegistry store the created devices instead of creating them when requested	2023-05-09 18:31:27 +02:00
FramebufferDevice.h	kernel: Make DeviceRegistry store the created devices instead of creating them when requested	2023-05-09 18:31:27 +02:00
NullDevice.cpp	kernel: Make DeviceRegistry store the created devices instead of creating them when requested	2023-05-09 18:31:27 +02:00
NullDevice.h	kernel: Make DeviceRegistry store the created devices instead of creating them when requested	2023-05-09 18:31:27 +02:00
ZeroDevice.cpp	kernel: Make DeviceRegistry store the created devices instead of creating them when requested	2023-05-09 18:31:27 +02:00
ZeroDevice.h	kernel: Make DeviceRegistry store the created devices instead of creating them when requested	2023-05-09 18:31:27 +02:00