# SPDX-License-Identifier: GPL-2.0 choice prompt "System type" default BFIN538_EZKIT help Select your board! config BFIN538_EZKIT bool "BF538-EZKIT" help BF538-EZKIT-LITE board support. endchoice
| Name | Type | Size | Permission | Actions |
|---|---|---|---|---|
| Kconfig | File | 209 B | 0644 |
|
| Makefile | File | 98 B | 0644 |
|