| // SPDX-License-Identifier: GPL-2.0+ |
| /* |
| * (C) Copyright 2010-2013 |
| * NVIDIA Corporation <www.nvidia.com> |
| * |
| * (C) Copyright 2021 |
| * Svyatoslav Ryhel <clamor95@gmail.com> |
| */ |
| |
| /* T30 Transformers derive from Cardhu board */ |
| |
| #include <fdt_support.h> |
| |
| #if defined(CONFIG_OF_LIBFDT) && defined(CONFIG_OF_BOARD_SETUP) |
| int ft_board_setup(void *blob, struct bd_info *bd) |
| { |
| /* Remove TrustZone nodes */ |
| fdt_del_node_and_alias(blob, "/firmware"); |
| fdt_del_node_and_alias(blob, "/reserved-memory/trustzone@bfe00000"); |
| |
| return 0; |
| } |
| #endif |