/*
* SPDX-License-Identifier: Apache-2.0
*/
#warning "generated_dts_board.h has been renamed to devicetree.h. Please include that instead."
#include <devicetree.h>