1 /*
2  * (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
3  *               Alexander Warg <warg@os.inf.tu-dresden.de>
4  *     economic rights: Technische Universität Dresden (Germany)
5  *
6  * This file is part of TUD:OS and distributed under the terms of the
7  * GNU General Public License 2.
8  * Please see the COPYING-GPL-2 file for details.
9  */
10 #include "loader_elf.h"
11 #include "debug.h"
12 
13 #include <l4/libloader/elf>
14 
15 static Dbg ldr(Dbg::Loader, "ldr");
16 
17 
18 bool
launch(L4::Cap<L4Re::Dataspace> bin,L4::Cap<L4Re::Rm> rm)19 Elf_loader::launch(L4::Cap<L4Re::Dataspace> bin, L4::Cap<L4Re::Rm> rm)
20 {
21   Ldr::Elf_loader<L4Re_x_app_model, Dbg>::launch(rm, (void*)0, bin, ldr);
22   return true;
23 }
24