makefile: introduce target flags (TFLAGS)

[polintos/scott/priv.git] / kernel / include / kern / console.h

diff --git a/kernel/include/kern/console.h b/kernel/include/kern/console.h
index 34683a475de7ffe7733590658ca2ef12e48c4b35..174d4c6eba492ea397ec004467e3d7afa5a6f6a6 100644 (file)
--- a/kernel/include/kern/console.h
+++ b/kernel/include/kern/console.h
@@ -11,8 +11,8 @@ namespace Console {
                {
                }
        
-               virtual void write(Array<octet> buf, u64 *len) = 0;
-               void write(char *data, size_t len);
+               virtual void write(Array<octet, ORBMM> buf, u64 *len) = 0;
+               void write(const char *data, size_t len);
        };
        
        extern Console *primary_console;