1#ifndef KALUGA_H_ 2#define KALUGA_H_ 3 4#include <barrelfish/barrelfish.h> 5#include <octopus/octopus.h> 6#include <driverkit/driverkit.h> 7 8#include "queue.h" 9#include "debug.h" 10 11#define BSP_CORE_ID 0 12 13extern coreid_t my_core_id; 14extern uint32_t my_arch_id; 15extern struct pci_addr eth0; 16extern char **environ; 17 18#include "boot_modules.h" 19#include "start_pci.h" 20#include "start_cpu.h" 21#include "driver_startup.h" 22#include "device_caps.h" 23#include "int_caps.h" 24#include "driver_domains.h" 25#include "int_route/int_model.h" 26 27errval_t arch_startup(char * add_device_db_file); 28 29#endif /* KALUGA_H_ */ 30