/*
 * Copyright 2019, Data61, CSIRO (ABN 41 687 119 230)
 *
 * SPDX-License-Identifier: BSD-2-Clause
 */
.syntax unified

.section .text
.global _start
_start:
	mov fp, 0
	mov lr, 0

	mov a1, sp
	bl __sel4_start_c

	/* should not return */
1:
	b 1b