#include "idt.h"


void setup_idt() {
    write_descriptors();
    load_idt();
}

void write_descriptors() {
    
    for(int i = 0; i < num_interrupts; i++) {
        
    }
}

void load_idt() {
    return;
}