/cpu/instructions/config/

• ../
• set_edt.txt
• set_gdt.txt
• set_irqt.txt
• set_tdt.txt