uses USE_DCACHE_RAM
uses DCACHE_RAM_BASE
uses DCACHE_RAM_SIZE
+uses CONFIG_USE_PRINTK_IN_CAR
uses PIRQ_ROUTE
## ROM_SIZE is the size of boot ROM that this board will use.
default USE_DCACHE_RAM=1
default DCACHE_RAM_BASE=0xc8000
default DCACHE_RAM_SIZE=0x08000
+default CONFIG_USE_PRINTK_IN_CAR=1
##
## Use a small 8K stack
uses USE_DCACHE_RAM
uses DCACHE_RAM_BASE
uses DCACHE_RAM_SIZE
+uses CONFIG_USE_PRINTK_IN_CAR
uses PIRQ_ROUTE
## ROM_SIZE is the size of boot ROM that this board will use.
default USE_DCACHE_RAM=1
default DCACHE_RAM_BASE=0xc8000
default DCACHE_RAM_SIZE=0x08000
+default CONFIG_USE_PRINTK_IN_CAR=1
##
## Use a small 8K stack
uses USE_DCACHE_RAM
uses DCACHE_RAM_BASE
uses DCACHE_RAM_SIZE
+uses CONFIG_USE_PRINTK_IN_CAR
uses PIRQ_ROUTE
## ROM_SIZE is the size of boot ROM that this board will use.
default USE_DCACHE_RAM=1
default DCACHE_RAM_BASE=0xc8000
default DCACHE_RAM_SIZE=0x08000
+default CONFIG_USE_PRINTK_IN_CAR=1
##
## Use a small 8K stack
uses USE_DCACHE_RAM
uses DCACHE_RAM_BASE
uses DCACHE_RAM_SIZE
+uses CONFIG_USE_PRINTK_IN_CAR
uses PIRQ_ROUTE
## ROM_SIZE is the size of boot ROM that this board will use.
default USE_DCACHE_RAM=1
default DCACHE_RAM_BASE=0xc8000
default DCACHE_RAM_SIZE=0x08000
+default CONFIG_USE_PRINTK_IN_CAR=1
##
## Use a small 8K stack
uses USE_DCACHE_RAM
uses DCACHE_RAM_BASE
uses DCACHE_RAM_SIZE
+uses CONFIG_USE_PRINTK_IN_CAR
uses PIRQ_ROUTE
default ROM_SIZE = 256 * 1024
default USE_DCACHE_RAM = 1
default DCACHE_RAM_BASE = 0xc8000
default DCACHE_RAM_SIZE = 32 * 1024
+default CONFIG_USE_PRINTK_IN_CAR=1
default STACK_SIZE = 8 * 1024
default HEAP_SIZE = 16 * 1024
# default USE_OPTION_TABLE = !USE_FALLBACK_IMAGE
uses USE_DCACHE_RAM
uses DCACHE_RAM_BASE
uses DCACHE_RAM_SIZE
+uses CONFIG_USE_PRINTK_IN_CAR
uses PIRQ_ROUTE
## ROM_SIZE is the size of boot ROM that this board will use.
default USE_DCACHE_RAM = 1
default DCACHE_RAM_BASE = 0xc8000
default DCACHE_RAM_SIZE = 0x08000
+default CONFIG_USE_PRINTK_IN_CAR=1
##
## Use a small 8K stack
uses USE_DCACHE_RAM
uses DCACHE_RAM_BASE
uses DCACHE_RAM_SIZE
+uses CONFIG_USE_PRINTK_IN_CAR
uses PIRQ_ROUTE
## ROM_SIZE is the size of boot ROM that this board will use.
default USE_DCACHE_RAM = 1
default DCACHE_RAM_BASE = 0xc8000
default DCACHE_RAM_SIZE = 0x08000
+default CONFIG_USE_PRINTK_IN_CAR=1
##
## Use a small 8K stack
uses USE_DCACHE_RAM
uses DCACHE_RAM_BASE
uses DCACHE_RAM_SIZE
+uses CONFIG_USE_PRINTK_IN_CAR
uses PIRQ_ROUTE
## ROM_SIZE is the size of boot ROM that this board will use.
default USE_DCACHE_RAM=1
default DCACHE_RAM_BASE=0xc8000
default DCACHE_RAM_SIZE=0x08000
+default CONFIG_USE_PRINTK_IN_CAR=1
##
## Use a small 8K stack
uses USE_DCACHE_RAM
uses DCACHE_RAM_BASE
uses DCACHE_RAM_SIZE
-uses CONFIG_USE_INIT
+uses CONFIG_USE_PRINTK_IN_CAR
## ROM_SIZE is the size of boot ROM that this board will use.
#512K bytes
#default DCACHE_RAM_BASE=0xF2000000
default DCACHE_RAM_BASE=0xcf000
default DCACHE_RAM_SIZE=0x1000
-#default CONFIG_USE_INIT=1
+default CONFIG_USE_PRINTK_IN_CAR=1
##