2 * (c) 2008-2009 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.
11 Dbg::Dbg_bits Dbg::dbg_bits[] =
16 {"server", Dbg::Server},
18 {"exceptions", Dbg::Exceptions},
19 {"exc", Dbg::Exceptions},
20 {"loader", Dbg::Loader},
22 {"script", Dbg::Parser},
25 {"namespace", Dbg::Name_space},
26 {"ns", Dbg::Name_space},
27 {"bfs", Dbg::Boot_fs},