2019-06-04 19:12:17 +02:00
|
|
|
#
|
|
|
|
# For a description of the syntax of this configuration file,
|
|
|
|
# see the file kconfig-language.txt in the NuttX tools repository.
|
|
|
|
#
|
|
|
|
|
|
|
|
if ARCH_BOARD_MAKERLISP
|
|
|
|
|
2019-06-05 00:35:56 +02:00
|
|
|
config MAKERLISP_VGA
|
|
|
|
bool "VGA Controller attached?"
|
|
|
|
default n
|
|
|
|
---help---
|
|
|
|
Select this option if you have an I/O Controller and a VGA vide card
|
|
|
|
connected.
|
|
|
|
|
2019-06-26 22:37:19 +02:00
|
|
|
config MAKERLISP_SDBOOT
|
|
|
|
bool "Build SD boot loader"
|
|
|
|
default n
|
|
|
|
---help---
|
|
|
|
Select this option only with the configs/makerlisp/sdboot
|
|
|
|
configuration. This will enable the components needed only by the
|
|
|
|
boot loader.
|
|
|
|
|
2019-06-04 19:12:17 +02:00
|
|
|
endif # ARCH_BOARD_MAKERLISP
|