1 /*
2  * (c) 2008-2009 Alexander Warg <warg@os.inf.tu-dresden.de>,
3  *               Frank Mehnert <fm3@os.inf.tu-dresden.de>
4  *     economic rights: Technische Universität Dresden (Germany)
5  * This file is part of TUD:OS and distributed under the terms of the
6  * GNU Lesser General Public License 2.1.
7  * Please see the COPYING-LGPL-2.1 file for details.
8  */
9 
10 #include <stdlib.h>
11 #include <l4/crtn/crt0.h>
12 #include <l4/util/mbi_argv.h>
13 
14 extern int main(int argc, char const *argv[]);
15 
16 void
__main(int argc,char const * argv[])17 __main(int argc, char const *argv[])
18 {
19   /* call constructors */
20   crt0_construction();
21 
22   /* call main */
23   exit(main(argc, argv));
24 }
25 
26