readme: add NXP iMX8X to supported platforms
[barrelfish] / usr / kaluga / kaluga.h
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
14 extern coreid_t my_core_id;
15 extern uint32_t my_arch_id;
16 extern struct pci_addr eth0;
17 extern char **environ;
18 extern 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
30 errval_t arch_startup(char * add_device_db_file);
31
32 #endif /* KALUGA_H_ */