diff options
Diffstat (limited to 'src/mainboard/google/veyron_mickey/boardid.c')
| -rw-r--r-- | src/mainboard/google/veyron_mickey/boardid.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/mainboard/google/veyron_mickey/boardid.c b/src/mainboard/google/veyron_mickey/boardid.c index 3833dbedfc..9c53e374d8 100644 --- a/src/mainboard/google/veyron_mickey/boardid.c +++ b/src/mainboard/google/veyron_mickey/boardid.c @@ -16,7 +16,6 @@ #include <boardid.h> #include <console/console.h> #include <gpio.h> -#include <stdlib.h> uint32_t board_id(void) { |