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