Kconfig 608 B

12345678910111213141516171819202122232425
  1. # SPDX-License-Identifier: BSD-2-Clause
  2. menu "Utils and Drivers Support"
  3. source "$(OPENSBI_SRC_DIR)/lib/utils/fdt/Kconfig"
  4. source "$(OPENSBI_SRC_DIR)/lib/utils/gpio/Kconfig"
  5. source "$(OPENSBI_SRC_DIR)/lib/utils/i2c/Kconfig"
  6. source "$(OPENSBI_SRC_DIR)/lib/utils/ipi/Kconfig"
  7. source "$(OPENSBI_SRC_DIR)/lib/utils/irqchip/Kconfig"
  8. source "$(OPENSBI_SRC_DIR)/lib/utils/libfdt/Kconfig"
  9. source "$(OPENSBI_SRC_DIR)/lib/utils/reset/Kconfig"
  10. source "$(OPENSBI_SRC_DIR)/lib/utils/serial/Kconfig"
  11. source "$(OPENSBI_SRC_DIR)/lib/utils/sys/Kconfig"
  12. source "$(OPENSBI_SRC_DIR)/lib/utils/timer/Kconfig"
  13. endmenu