2 * (c) 2010 Alexander Warg <warg@os.inf.tu-dresden.de>
3 * economic rights: Technische Universität Dresden (Germany)
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.
12 #include <l4/libloader/elf>
13 #include <l4/cxx/iostream>
14 #include <l4/util/util.h>
20 static Dbg info(Dbg::Info);
21 static Dbg boot_info(Dbg::Boot);
24 //static Ned::Server s(l4_utcb(), Ned::Registry(L4Re::Env::env()->main_thread(), L4Re::Env::env()->factory()));
27 Ned::Server *Ned::server;// = &s;
29 static Dbg ldr(Dbg::Loader, "ldr");
33 run(int argc, char const *const *argv)
35 Dbg::set_level(Dbg::Warn);
36 info.printf("Hello from Ned\n");
38 boot_info.printf("cmdline: ");
39 for (int i = 0; i < argc; ++i)
40 boot_info.cprintf("%s ", argv[i]);
41 boot_info.cprintf("\n");
43 l4_umword_t *auxp = (l4_umword_t*)&argv[argc] + 1;
53 l4re_aux = (l4re_aux_t*)auxp[1];
71 main(int argc, char const *const *argv)
75 return run(argc, argv);
77 catch (L4::Runtime_error &e)
79 L4::cerr << "FATAL: " << e;