rem: return sys_read(console.keyboard_fd, 0, buf, *len);
add: return sys_read(console.keyboard_fd, 0, buffer, *len);
context: static ssize_t console_read(void * cookie, off_t pos, void *buf,                             size_t *len){	return sys_read(console.keyboard_fd, 0, buf, *len);}