src/cpu/amd/model_fxx/Kconfig

   1 config HAVE_INIT_TIMER
   2         bool
   3         default y
   4         depends on CPU_AMD_SOCKET_F
   5
   6 config HAVE_MOVNTI
   7         bool
   8         default y
   9         depends on CPU_AMD_SOCKET_F
  10
  11 config CPU_ADDR_BITS
  12         int
  13         default 40
  14         depends on CPU_AMD_SOCKET_F
  15
  16