#ifndef KERNEL_IDT_H
#define KERNEL_IDT_H

#include <stdint.h>

/* Structure for an Interrupt Frame */
struct InterruptFrame {
	uint32_t eip, cs, eflags;
};

void init_idt(void);

#endif