/**
 * \brief   Startup code for Genode applications on ARM
 * \author  Norman Feske
 * \date    2007-04-28
 */

/*
 * Copyright (C) 2007-2013 Genode Labs GmbH
 *
 * This file is part of the Genode OS framework, which is distributed
 * under the terms of the GNU General Public License version 2.
 */

/*--- .text (program code) -------------------------*/
	.text

	.globl _start
_start:

	ldr  sp, .initial_sp
	b    _main

.initial_sp: .word _stack_high

	.globl	__dso_handle
__dso_handle:
	.long	0

/*--- .bss (non-initialized data) ------------------*/
.section ".bss"

	.globl	_stack_low
_stack_low:
	.space	64*1024
	.globl	_stack_high
_stack_high:

