4 #include <barrelfish/barrelfish.h>
5 #include <octopus/octopus.h>
10 #define TRIGGER_ALWAYS (OCT_PERSIST | OCT_ON_SET | OCT_ON_DEL | OCT_ALWAYS_SET)
13 extern coreid_t my_core_id;
14 extern uint32_t my_arch_id;
16 errval_t trigger_existing_and_watch(const char*,
17 trigger_handler_fn, void*, octopus_trigger_id_t*);
20 #include "boot_modules.h"
21 #include "start_pci.h"
22 #include "start_cpu.h"
23 #include "driver_startup.h"
24 #include "device_caps.h"
25 #include "omap_startup.h"
27 #endif /* KALUGA_H_ */