1/**
2 * \file
3 * \brief common IDC code
4 */
5
6/*
7 * Copyright (c) 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, Universitaetstrasse 6, CH-8092 Zurich. Attn: Systems Group.
13 */
14
15#include <barrelfish/barrelfish.h>
16#include <barrelfish/idc.h>
17#include <barrelfish/idc_export.h>
18
19void idc_init(void)
20{
21    idc_export_init();
22#ifdef CONFIG_INTERCONNECT_DRIVER_LMP
23    lmp_init();
24#endif
25#ifdef CONFIG_INTERCONNECT_DRIVER_UMP
26    ump_init();
27#endif
28#if defined(CONFIG_FLOUNDER_BACKEND_UMP_IPI)
29    ipi_init();
30#endif
31#ifdef CONFIG_INTERCONNECT_DRIVER_MULTIHOP
32    multihop_init();
33#endif
34}
35