board/t3corp/config.mk

   1 #
   2 # (C) Copyright 2010
   3 # Stefan Roese, DENX Software Engineering, sr@denx.de.
   4 #
   5 # SPDX-License-Identifier:      GPL-2.0+
   6 #
   7 #
   8
   9 PLATFORM_CPPFLAGS += -DCONFIG_440=1
  10
  11 ifeq ($(debug),1)
  12 PLATFORM_CPPFLAGS += -DDEBUG
  13 endif
  14
  15 ifeq ($(dbcr),1)
  16 PLATFORM_CPPFLAGS += -DCONFIG_SYS_INIT_DBCR=0x8cff0000
  17 endif