diff options
Diffstat (limited to 'tests/kernel_verify_benchmark.c')
-rw-r--r-- | tests/kernel_verify_benchmark.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/kernel_verify_benchmark.c b/tests/kernel_verify_benchmark.c index c16dfcb8..3ba113c5 100644 --- a/tests/kernel_verify_benchmark.c +++ b/tests/kernel_verify_benchmark.c @@ -5,6 +5,7 @@ * Timing benchmark for verifying a firmware image. */ +#include <stdint.h> #include <stdio.h> #include <stdlib.h> |