+/*
+ * observer.cc --
+ *
+ * General fault observer functions
+ *
+ * (c) 2011-2013 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.
+ */
+
#include "observers.h"
#include "../configuration"
CASE("swifi", SWIFIObserver::Create());
CASE("kip-time", KIPTimeObserver::Create());
CASE("trap_limit", TrapLimitObserver::Create());
+ CASE("threads", PThreadLockObserver::Create());
+ CASE("replicalog", new ReplicaLogObserver());
#if 0
if (strcmp(name, "gdb") == 0) {