efiloader 0.0.1

A library implementing a EFI runtime that can boot Linux kernels and related executables
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39

// SPDX-License-Identifier: GPL-2.0
// Copyright 2022-2023 Google LLC
// Author: Ard Biesheuvel <ardb@google.com>

	.section ".text", "ax", %progbits
	.globl	exit_image
exit_image:
	mov	rax, rdi
	mov	rsp, rsi
	jmp	0f

	.globl	start_image
start_image:
	push	r15
	push	r14
	push	r13
	push	r12
	push	rbp
	push	rbx

	mov	rbp, rdx
	mov	rbx, rcx
	mov	[rbx], rsp	// store current SP in loadedimage protocol

	mov	rcx, rdi	// pass args using MS abi
	mov	rdx, rsi
	lea	rsp, [r8 - 0x20]
	call	rbp

	xor	ecx, ecx
	mov	[rbx], rcx 	// wipe recorded SP value

0:	pop	rbx
	pop	rbp
	pop	r12
	pop	r13
	pop	r14
	pop	r15
	ret