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