| /* | |
| * Copyright (c) Copyright (c) 2021 BrainCo Inc. | |
| * SPDX-License-Identifier: Apache-2.0 | |
| */ | |
| #include <device.h> | |
| #include <init.h> | |
| #include <soc.h> | |
| static int gd32f3x0_init(const struct device *dev) | |
| { | |
| uint32_t key; | |
| ARG_UNUSED(dev); | |
| key = irq_lock(); | |
| SystemInit(); | |
| NMI_INIT(); | |
| irq_unlock(key); | |
| return 0; | |
| } | |
| SYS_INIT(gd32f3x0_init, PRE_KERNEL_1, 0); |