| /* SPDX-License-Identifier: GPL-2.0+ */ | |
| /* | |
| * Copyright (C) 2025 Brian Sune <briansune@gmail.com> | |
| */ | |
| #ifndef __CONFIG_CORESOURCE_AC501SOC_H__ | |
| #define __CONFIG_CORESOURCE_AC501SOC_H__ | |
| #include <asm/arch/base_addr_ac5.h> | |
| /* The rest of the configuration is shared */ | |
| #include <configs/socfpga_common.h> | |
| #endif /* __CONFIG_CORESOURCE_AC501SOC_H__ */ |