1 /*
2  * Copyright (C) 2023 The Android Open Source Project
3  *
4  * Licensed under the Apache License, Version 2.0 (the "License");
5  * you may not use this file except in compliance with the License.
6  * You may obtain a copy of the License at
7  *
8  *     http://www.apache.org/licenses/LICENSE-2.0
9  *
10  * Unless required by applicable law or agreed to in writing, software
11  * distributed under the License is distributed on an "AS IS" BASIS,
12  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13  * See the License for the specific language governing permissions and
14  * limitations under the License.
15  *
16  */
17 
18 #ifndef __EFI_H__
19 #define __EFI_H__
20 
21 #include <stdbool.h>
22 #include <stddef.h>
23 #include <stdint.h>
24 
25 #include "boot_service.h"
26 #include "protocols/android_boot_protocol.h"
27 #include "protocols/block_io_protocol.h"
28 #include "protocols/device_path_protocol.h"
29 #include "protocols/loaded_image_protocol.h"
30 #include "protocols/riscv_efi_boot_protocol.h"
31 #include "protocols/simple_network_protocol.h"
32 #include "protocols/simple_text_input_protocol.h"
33 #include "protocols/simple_text_output_protocol.h"
34 #include "system_table.h"
35 #include "types.h"
36 
37 #endif  // __EFI_H__
38