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