Fiasco: idt_i.h Source File

00001 // AUTOMATICALLY GENERATED -- DO NOT EDIT!         -*- c++ -*-
00002 
00003 #ifndef idt_i_h
00004 #define idt_i_h
00005 
00006 #include <cassert>
00007 #include "gdt.h"
00008 #include "idt_init.h"
00009 #include "mem_unit.h"
00010 #include "paging.h"
00011 #include "panic.h"
00012 #include "vmem_alloc.h"
00013 
00014 #include "config.h"
00015 #include "timer.h"
00016 
00017 #endif // idt_i_h