unbroke sparc front-end server protocol
[akaros.git] / kern / arch / sparc / console.c
index 37c1ff7..4b0c2af 100644 (file)
@@ -10,7 +10,7 @@ cons_init(void)
 void
 cputbuf(const char*COUNT(len) buf, int len)
 {
-       frontend_syscall(RAMP_SYSCALL_write,1,buf,len);
+       frontend_syscall(RAMP_SYSCALL_write,1,(uint32_t)buf,len);
 }
 
 // Low-level console I/O