Update

[l4.git] / l4 / pkg / ned / server / src / debug.h

diff --git a/l4/pkg/ned/server/src/debug.h b/l4/pkg/ned/server/src/debug.h
deleted file mode 100644 (file)
index 973414a..0000000
--- a/l4/pkg/ned/server/src/debug.h
+++ /dev/null
@@ -1,43 +0,0 @@
-/*
- * (c) 2008-2010 Alexander Warg <warg@os.inf.tu-dresden.de>,
- *               Björn Döbel <doebel@os.inf.tu-dresden.de>
- *     economic rights: Technische Universität Dresden (Germany)
- *
- * This file is part of TUD:OS and distributed under the terms of the
- * GNU General Public License 2.
- * Please see the COPYING-GPL-2 file for details.
- */
-#pragma once
-
-#include <l4/re/util/debug>
-
-class Err : public L4Re::Util::Err
-{
-public:
-  explicit
-  Err(Level l = Normal) : L4Re::Util::Err(l, "Ned") {}
-};
-
-class Dbg : public L4Re::Util::Dbg
-{
-public:
-  enum Level
-  {
-    Info       = 1,
-    Warn       = 2,
-    Boot       = 4,
-
-    Server     = 0x10,
-    Exceptions = 0x20,
-    Cmd_line   = 0x40,
-    Loader     = 0x80,
-    Parser     = 0x100,
-    Name_space = 0x400,
-  };
-
-  explicit
-  Dbg(unsigned long mask, char const *subs = 0)
-  : L4Re::Util::Dbg(mask, "Ned", subs)
-  {}
-};
-