xref: /rk3399_rockchip-uboot/board/efi/efi-x86/efi.c (revision f291ce1298f078175bbe3c2e600d03cae173403f)
1 /*
2  * Copyright (C) 2015 Google, Inc
3  *
4  * SPDX-License-Identifier:	GPL-2.0+
5  */
6 
7 #include <common.h>
8