Still annotating the kernel
[akaros.git] / kern / src / readline.c
index 505f0cb..71a46c6 100644 (file)
@@ -1,12 +1,9 @@
-#ifdef __DEPUTY__
-#pragma nodeputy
-#endif
 
 #include <ros/error.h>
 #include <stdio.h>
 
 #define BUFLEN 1024
-static char buf[BUFLEN];
+static char (NT buf)[BUFLEN];
 
 char *
 readline(const char *prompt)