1/* 2 * Copyright (c) 2023 Institute of Parallel And Distributed Systems (IPADS), Shanghai Jiao Tong University (SJTU) 3 * Licensed under the Mulan PSL v2. 4 * You can use this software according to the terms and conditions of the Mulan PSL v2. 5 * You may obtain a copy of Mulan PSL v2 at: 6 * http://license.coscl.org.cn/MulanPSL2 7 * THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND, EITHER EXPRESS OR 8 * IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT, MERCHANTABILITY OR FIT FOR A PARTICULAR 9 * PURPOSE. 10 * See the Mulan PSL v2 for more details. 11 */ 12/* Kernel binary include template. */ 13 14 .section .incbin-${binary_name}, "a" 15 .globl binary_${binary_name}_start 16binary_${binary_name}_start: 17 .incbin "${binary_path}" 18binary_${binary_name}_end: 19 .globl binary_${binary_name}_size 20binary_${binary_name}_size: 21#if __SIZEOF_POINTER__ == 4 22 .word binary_${binary_name}_end - binary_${binary_name}_start 23#else 24 .quad binary_${binary_name}_end - binary_${binary_name}_start 25#endif 26