1 /* SPDX-License-Identifier: GPL-2.0+ */ 2 /* 3 * Dummy file to allow libraries linked with U-Boot to include stdint.h without 4 * getting the system version. 5 * 6 * U-Boot uses linux types (linux/types.h) so does not make use of stdint.h 7 */ 8