text: // Copyright 2021 XMOS LIMITED.
  // This Software is subject to the terms of the XMOS Public Licence: Version 1.
  
  #ifndef MAIN_SUPPORT_H_
  #define MAIN_SUPPORT_H_
  
  #ifdef __cplusplus
  extern "C" {
  #endif
  int tf_main();
  #ifdef __cplusplus
  }
  #endif
  
  #endif /* MAIN_SUPPORT_H_ */
  