2 * (c) 2010 Technische Universität Dresden
3 * This file is part of TUD:OS and distributed under the terms of the
4 * GNU General Public License 2.
5 * Please see the COPYING-GPL-2 file for details.
7 #include <l4/mag/server/plugin>
10 namespace Mag_server {
12 Plugin *Plugin::_first __attribute__((visibility("hidden")));
17 static void init(Core_api *core)
19 printf("core-init\n");
20 for (Plugin *p = Plugin::_first; p; p = p->_next)
22 printf("plugin: %p\n", p);
25 printf("starting %s plugin: %s\n", p->type(), p->name());
33 extern "C" void init_plugin(Core_api *core)
35 Plugin_manager::init(core);