1/**
2 * \file
3 * \brief Monitor's connection with the dispatchers on the same core
4 */
5
6/*
7 * Copyright (c) 2009, 2010, ETH Zurich.
8 * All rights reserved.
9 *
10 * This file is distributed under the terms in the attached LICENSE file.
11 * If you do not find this file, copies can be found by writing to:
12 * ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
13 */
14
15#include "monitor.h"
16#include <barrelfish/debug.h> // XXX: To set the cap_identify_reply handler
17#include <barrelfish/sys_debug.h> // XXX: for sys_debug_send_ipi
18#include <trace/trace.h>
19#include <if/mem_defs.h>
20#include <barrelfish/monitor_client.h>
21#include <if/monitor_loopback_defs.h>
22
23errval_t monitor_server_arch_init(struct monitor_binding *b)
24{
25    // No-op
26    return SYS_ERR_OK;
27}
28