#ifdef HAVE_CONFIG_H #include "config.h" #endif #include #include "../fixtures/multiboot2_header_example1.h" #include "../fixtures/multiboot2_header_example2.h" void test_main() { // TODO: write this }