2019-04-06 09:08:09 -04:00
|
|
|
# SPDX-License-Identifier: Apache-2.0
|
|
|
|
|
2015-12-16 23:37:56 -05:00
|
|
|
if BOARD_MINNOWBOARD
|
|
|
|
|
|
|
|
config BOARD
|
2018-05-25 20:56:38 +02:00
|
|
|
default "minnowboard"
|
2015-12-16 23:37:56 -05:00
|
|
|
|
2017-11-24 10:55:02 -05:00
|
|
|
config BUILD_OUTPUT_STRIPPED
|
2018-11-13 17:15:49 +01:00
|
|
|
default y
|
2017-11-24 10:55:02 -05:00
|
|
|
|
2020-05-07 16:47:24 -07:00
|
|
|
config X86_MMU_PAGE_POOL_PAGES
|
|
|
|
default 3072 if X86_MMU
|
|
|
|
|
2015-12-16 23:37:56 -05:00
|
|
|
endif # BOARD_MINNOWBOARD
|