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#include <queue_service/queue_service.h> 8 9#include "queue.h" 10#include "debug.h" 11 12#define BSP_CORE_ID 0 13 14extern coreid_t my_core_id; 15extern uint32_t my_arch_id; 16extern struct pci_addr eth0; 17extern char **environ; 18extern struct queue_service_state* qs; 19 20#include "boot_modules.h" 21#include "start_pci.h" 22#include "start_hpet.h" 23#include "start_cpu.h" 24#include "driver_startup.h" 25#include "device_caps.h" 26#include "int_caps.h" 27#include "driver_domains.h" 28#include "int_route/int_model.h" 29 30errval_t arch_startup(char * add_device_db_file); 31 32#endif /* KALUGA_H_ */ 33