| /* | |
| * Copyright (c) 2025 Advanced Micro Devices, Inc. | |
| * | |
| * SPDX-License-Identifier: Apache-2.0 | |
| */ | |
| #ifndef _SOC_XLNX_VERSALNET_SOC_H_ | |
| #define _SOC_XLNX_VERSALNET_SOC_H_ | |
| /* Define CMSIS configurations */ | |
| #define __GIC_PRESENT 0 | |
| #define __TIM_PRESENT 0 | |
| #endif /* _SOC_XLNX_VERSALNET_SOC_H_ */ |