taglinefilesource code
pad_chars875drivers/char/keyboard.cstatic const char *pad_chars = "0123456789+-*/\015,.?";
pad_chars925drivers/char/keyboard.cput_queue(pad_chars[value]);