if TARGET_SAMA5D2_PTC
  
  config SYS_BOARD
  	default "sama5d2_ptc"
  
  config SYS_VENDOR
  	default "atmel"
  
  config SYS_SOC
  	default "at91"
  
  config SYS_CONFIG_NAME
  	default "sama5d2_ptc"
  
  endif