Use lowercase keys for devices

This commit is contained in:
2026-03-16 21:25:06 +01:00
parent 65a7511e36
commit 1b1e1e4954
9 changed files with 18 additions and 18 deletions

View File

@@ -6,7 +6,7 @@
#include <system.h>
int debugconsole_print (const char* string, size_t len) {
return device_do ("DEBUGCONSOLE", DEBUGCONSOLE_PUTSTR, (void*)string, (void*)&len, NULL, NULL);
return device_do ("debugconsole", DEBUGCONSOLE_PUTSTR, (void*)string, (void*)&len, NULL, NULL);
}
void debug_printf (const char* fmt, ...) {