1234567891011121314151617 |
- # SPDX-License-Identifier: GPL-2.0
- menu "Software components' REPO configuration"
- config UBOOT_REPO_PATH
- string "external U-Boot REPO"
- default "src/firmware/u-boot"
- config LINUX_REPO_PATH
- string "external Linux kernel REPO"
- default "src/kernel/linux"
- config OPENSBI_REPO_PATH
- string "external OpenSBI REPO"
- default "src/firmware/opensbi"
- endmenu
|