#include "kernel.h" void keyboard_handler() { // キーボード入力処理コード }