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