purgatory/arch/arm64/purgatory-arm64.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

/*
 * ARM64 purgatory.
 */

#include <stdint.h>
#include <purgatory.h>

void putchar(int ch)
{
	/* Nothing for now */
}

void post_verification_setup_arch(void)
{
}

void setup_arch(void)
{
}