/**
 * @file
 *
/// idiots keyboard driver ////
//  http://www.computer-engineering.org/ps2keyboard/scancodes1.html
//  */

void keyboard_init(uint32_t s);
void keyboard_handle(uint8_t in);