File content as of revision 2:edd107ea4740:

#include "mbed.h"
#include "pin_config.h"

#define FAULT0 PIN31
#define FAULT1 PIN42      //  FAULTBAR
#define FAULT2 PIN40      //  3V3APGOOD 
#define FAULT3 PIN39      //  3V3BPGOOD                         
#define FAULT4  PIN41     //  3V3CPGOOD      
#define FAULT5  PTC23      //  3V3AOCBAR                //changed here
#define FAULT6  PIN80      //  3V3COC  
#define FAULT7  PIN38      //  SW8FAULT   /// to pin 97 later 
#define FAULT8  PIN83      //  SW6FAULT   
#define FAULT9 PIN89      //  SW7FAULT  

//CONTROL SIGNALS
#define FAULT_CLEAR1 D8                            
#define FAULT_CLEAR2 D9
#define FAULT_CLEAR3 D10
#define FAULT_CLEAR4 D11
#define FAULT_CLEAR5 D12
#define FAULT_CLEAR6 D13
#define FAULT_CLEAR7 PTC7
#define FAULT_CLEAR8 PTC10
#define FAULT_CLEAR9 PTC11



#define ACS PTE2
#define TX PTE3
#define PAYLOAD PTE6


void FUNC_HK_FAULTS();
void FUNC_HK_POWER(char flag);
void interrupt_fault();