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