*
* \brief Keyboard driver (implementation)
*
- * \version $Id$
*
* \author Bernie Innocenti <bernie@codewiz.org>
* \author Stefano Fedrigo <aleph@develer.com>
keymask_t key = 0;
#if CONFIG_KBD_SCHED
- timer_delay(1);
+ /* Let other tasks run for a while */
+ extern void schedule(void);
+ schedule();
#endif
/* Extract an event from the keyboard buffer */