/*
 * \brief   ARM specific platform implementations
 * \author  Adrian-Ken Rueegsegger
 * \date    2015-03-18
 */

/*
 * Copyright (C) 2015-2017 Genode Labs GmbH
 *
 * This file is part of the Genode OS framework, which is distributed
 * under the terms of the GNU Affero General Public License version 3.
 */

/* core includes */
#include <platform.h>

using namespace Core;


void Platform::_init_io_port_alloc() { };


void Platform::_init_additional_platform_info(Generator &) { }


long Platform::irq(long const user_irq) { return user_irq; }


bool Platform::alloc_msi_vector(addr_t &, addr_t &) { return false; }


void Platform::free_msi_vector(addr_t, addr_t) { }
