Fiasco: boot_info_i.h Source File

00001 // AUTOMATICALLY GENERATED -- DO NOT EDIT!         -*- c++ -*-
00002 
00003 #ifndef boot_info_i_h
00004 #define boot_info_i_h
00005 #include "mem_layout.h"
00006 
00007 #include <cassert>
00008 #include <cstring>
00009 #include <cstdlib>
00010 #include "checksum.h"
00011 #include "cmdline.h"
00012 
00013 #endif // boot_info_i_h