File content as of revision 3:7b11e0e58640:

#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  PIN79      //  3V3AOCBAR 
#define FAULT6  PIN80      //  3V3COC  
#define FAULT7  PIN97      //  SW8FAULT   
#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 FAULTS();
void POWER(char flag);
void interrupt_fault();