1/*
2 * (c) 2008-2009 Alexander Warg <warg@os.inf.tu-dresden.de>
3 *     economic rights: Technische Universität Dresden (Germany)
4 * This file is part of TUD:OS and distributed under the terms of the
5 * GNU Lesser General Public License 2.1.
6 * Please see the COPYING-LGPL-2.1 file for details.
7 */
8/* -*- c -*- */
9
10/*#include <l4/sys/compiler.h>*/
11
12.macro enter_kdebug
13    	mov	lr, pc
14    	mov	pc, #-0x00000020-8
15    	b	1f
16    	.ascii	" crtx "
17    	.byte	0
18    	.align	4
19    1:
20.endm
21
22.section .text.init,#alloc,#execinstr
23.type _start,#function
24.globl _start
25_start:
26
27     ldr r0, [sp], #4
28     mov r1, sp
29
30     bl	__main
311:
32     b 1b
33
34.section ".data"
35	.global __dso_handle
36__dso_handle:
37	.long 0
38
39