#ifndef FSFWCONFIG_DEVICES_POWERSWITCHERLIST_H_ #define FSFWCONFIG_DEVICES_POWERSWITCHERLIST_H_ #include <mission/power/gsDefs.h> #endif /* FSFWCONFIG_DEVICES_POWERSWITCHERLIST_H_ */