blob: b4d8578e0cda24f497f4a24d755c39a4293e11e3 (
plain)
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
|
/*
* ARM64 purgatory.
*/
#include <stdint.h>
#include <purgatory.h>
/* Symbols set by kexec. */
uint8_t *arm64_sink __attribute__ ((section ("data")));
extern void (*arm64_kernel_entry)(uint64_t, uint64_t, uint64_t, uint64_t);
extern uint64_t arm64_dtb_addr;
void putchar(int ch)
{
if (!arm64_sink)
return;
*arm64_sink = ch;
if (ch == '\n')
*arm64_sink = '\r';
}
void post_verification_setup_arch(void)
{
printf("purgatory: booting kernel now\n");
}
void setup_arch(void)
{
printf("purgatory: entry=%lx\n", (unsigned long)arm64_kernel_entry);
printf("purgatory: dtb=%lx\n", arm64_dtb_addr);
}
|