Kconfig 357 B

1234567891011121314151617
  1. # SPDX-License-Identifier: GPL-2.0
  2. menu "Software components' REPO configuration"
  3. config UBOOT_REPO_PATH
  4. string "external U-Boot REPO"
  5. default "src/firmware/u-boot"
  6. config LINUX_REPO_PATH
  7. string "external Linux kernel REPO"
  8. default "src/kernel/linux"
  9. config OPENSBI_REPO_PATH
  10. string "external OpenSBI REPO"
  11. default "src/firmware/opensbi"
  12. endmenu