aarch64/el1_ns/el1_nsec.c


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

#include "platform.h"
#include "arm_builtins.h"
#include "el1.h"
#include "debug.h"

extern void *el1_load_el0(char *base, char *start_va);

void el1_init_el0()
{
    int (*main)(void);

    main = el1_load_el0((char *)EL0_NS_FLASH_BASE, (char *)EL0_NS_BASE_VA);

    __set_exception_return((uint64_t)main);
    __exception_return();
}