board/efi/efi-x86/efi.c


1
2
3
4
5
6
7
8
9
10
11
12
13

/*
 * Copyright (C) 2015 Google, Inc
 *
 * SPDX-License-Identifier:	GPL-2.0+
 */

#include <common.h>
#include <asm/gpio.h>

int arch_early_init_r(void)
{
	return 0;
}