crt/sel4_arch/aarch64/crtn.S - 3p/sel4proj/sel4runtime - Git at Google

 /*
  * Copyright 2019, Data61, CSIRO (ABN 41 687 119 230)
  *
  * SPDX-License-Identifier: BSD-2-Clause
  */
 .section .init
 	ldp fp, lr, [sp], #16
 	ret

 .section .fini
 	ldp fp, lr, [sp], #16
 	ret
	/*
	* Copyright 2019, Data61, CSIRO (ABN 41 687 119 230)
	*
	* SPDX-License-Identifier: BSD-2-Clause
	*/
	.section .init
	ldp fp, lr, [sp], #16
	ret

	.section .fini
	ldp fp, lr, [sp], #16
	ret