#pragma once

#include <stdint.h>

constexpr uint8_t IRQ_VECTOR_BASE = 0x20;

namespace Kernel::IDT
{

	void initialize();
	[[noreturn]] void force_triple_fault();

}