soc: arm: gigadevice: add support for GD32F4XX SoCs

# Copyright (c) 2021, Teslabs Engineering S.L.

# SPDX-License-Identifier: Apache-2.0

zephyr_include_directories(.)

zephyr_sources(soc.c)

# Copyright (c) 2021, Teslabs Engineering S.L.

# SPDX-License-Identifier: Apache-2.0

config SOC

	default "gd32f450"

config SYS_CLOCK_HW_CYCLES_PER_SEC

	default 200000000

config NUM_IRQS

	default 91

# Copyright (c) 2021, Teslabs Engineering S.L.

# SPDX-License-Identifier: Apache-2.0

if SOC_SERIES_GD32F4XX

source "soc/arm/gigadevice/gd32f4xx/Kconfig.defconfig.gd32*"

config SOC_SERIES

	default "gd32f4xx"

endif # SOC_SERIES_GD32F4XX

# Copyright (c) 2021, Teslabs Engineering S.L.

# SPDX-License-Identifier: Apache-2.0

config SOC_SERIES_GD32F4XX

	bool "GigaDevice GD32F4XX series Cortex-M4F MCU"

	select ARM

	select CPU_HAS_ARM_MPU

	select CPU_HAS_FPU

	select CPU_CORTEX_M4

	select SOC_FAMILY_GD32_ARM

	help

	  Enable support for GigaDevice GD32F4XX MCU series

# Copyright (c) 2021, Teslabs Engineering S.L.

# SPDX-License-Identifier: Apache-2.0

choice

	prompt "GigaDevice GD32F4XX MCU Selection"

	depends on SOC_SERIES_GD32F4XX

	config SOC_GD32F450

		bool "gd32f450"

endchoice