feat: test: Add `kout` test and rename DeviceInterface to IDevice in KernelKit.

introduce UserPtr and unburden vettable by removing the IVettable helper.

Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>

1 files changed, 4 insertions, 4 deletions

diff --git a/src/kernel/HALKit/AMD64/HalDebugOutput.cc b/src/kernel/HALKit/AMD64/HalDebugOutput.cc
index f35e7a57..71e20ce6 100644
--- a/src/kernel/HALKit/AMD64/HalDebugOutput.cc
+++ b/src/kernel/HALKit/AMD64/HalDebugOutput.cc
@@ -61,7 +61,7 @@ TerminalDevice::~TerminalDevice() = default;
 STATIC SizeT kX = kFontSizeX, kY = kFontSizeY;
 #endif  // __DEBUG__
 
-EXTERN_C void ke_utf_io_write(DeviceInterface<const Utf8Char*>* obj, const Utf8Char* bytes) {
+EXTERN_C void ke_utf_io_write(IDevice<const Utf8Char*>* obj, const Utf8Char* bytes) {
   NE_UNUSED(bytes);
   NE_UNUSED(obj);
 
@@ -117,7 +117,7 @@ EXTERN_C void ke_utf_io_write(DeviceInterface<const Utf8Char*>* obj, const Utf8C
 #endif  // __DEBUG__
 }
 
-EXTERN_C void ke_io_write(DeviceInterface<const Char*>* obj, const Char* bytes) {
+EXTERN_C void ke_io_write(IDevice<const Char*>* obj, const Char* bytes) {
   NE_UNUSED(bytes);
   NE_UNUSED(obj);
 
@@ -173,7 +173,7 @@ EXTERN_C void ke_io_write(DeviceInterface<const Char*>* obj, const Char* bytes)
 #endif  // __DEBUG__
 }
 
-EXTERN_C void ke_io_read(DeviceInterface<const Char*>*, const Char* bytes) {
+EXTERN_C void ke_io_read(IDevice<const Char*>*, const Char* bytes) {
   NE_UNUSED(bytes);
 
 #ifdef __DEBUG__
@@ -220,7 +220,7 @@ Utf8TerminalDevice::~Utf8TerminalDevice() = default;
 
 Utf8TerminalDevice Utf8TerminalDevice::The() {
   Utf8TerminalDevice out(Kernel::ke_utf_io_write,
-                         [](DeviceInterface<const Utf8Char*>*, const Utf8Char*) -> Void {});
+                         [](IDevice<const Utf8Char*>*, const Utf8Char*) -> Void {});
   return out;
 }