#include "kernel.h"

void irq_handler() {
    // 割り込み処理コード
}