1 /* Copyright 2014 The ChromiumOS Authors 2 * Use of this source code is governed by a BSD-style license that can be 3 * found in the LICENSE file. 4 */ 5 6 /* 7 * System includes for vboot reference library. This is the ONLY 8 * place in firmware/ where system headers may be included via 9 * #include <...>, so that there's only one place that needs to be 10 * fixed up for platforms which don't have all the system includes. 11 */ 12 13 #ifndef VBOOT_REFERENCE_2SYSINCLUDES_H_ 14 #define VBOOT_REFERENCE_2SYSINCLUDES_H_ 15 16 #include <ctype.h> 17 #include <inttypes.h> /* For PRIu64 */ 18 #include <stdbool.h> 19 #include <stddef.h> 20 #include <stdint.h> 21 #include <stdio.h> 22 #include <stdlib.h> 23 #include <string.h> 24 25 #endif /* VBOOT_REFERENCE_2SYSINCLUDES_H_ */ 26