git.barrelfish.org Git - barrelfish/blob - 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_ */