2015-05-04 14:08:58 +02:00
|
|
|
/*
|
|
|
|
* \brief Platform implementations specific for x86_64
|
|
|
|
* \author Reto Buerki
|
|
|
|
* \date 2015-05-04
|
|
|
|
*/
|
|
|
|
|
|
|
|
/*
|
2017-02-20 13:23:52 +01:00
|
|
|
* Copyright (C) 2015-2017 Genode Labs GmbH
|
2015-05-04 14:08:58 +02:00
|
|
|
*
|
|
|
|
* This file is part of the Genode OS framework, which is distributed
|
2017-02-20 13:23:52 +01:00
|
|
|
* under the terms of the GNU Affero General Public License version 3.
|
2015-05-04 14:08:58 +02:00
|
|
|
*/
|
|
|
|
|
2017-05-02 13:00:17 +02:00
|
|
|
#include <bios_data_area.h>
|
2015-05-04 14:08:58 +02:00
|
|
|
#include <platform.h>
|
2015-06-19 14:40:53 +02:00
|
|
|
#include <kernel/kernel.h>
|
2016-10-06 20:07:16 +02:00
|
|
|
|
2015-05-04 14:08:58 +02:00
|
|
|
using namespace Genode;
|
|
|
|
|
2015-10-27 14:26:40 +01:00
|
|
|
|
2015-07-02 16:25:51 +02:00
|
|
|
void Platform::_init_additional() { };
|
2015-10-27 14:26:40 +01:00
|
|
|
|
2015-06-19 14:40:53 +02:00
|
|
|
|
|
|
|
void Platform::setup_irq_mode(unsigned irq_number, unsigned trigger,
|
2016-11-07 18:00:24 +01:00
|
|
|
unsigned polarity) {
|
|
|
|
Kernel::pic()->ioapic.setup_irq_mode(irq_number, trigger, polarity); }
|
2015-10-27 14:26:40 +01:00
|
|
|
|
|
|
|
|
2016-02-16 16:51:50 +01:00
|
|
|
bool Platform::get_msi_params(const addr_t mmconf, addr_t &address,
|
2016-11-07 18:00:24 +01:00
|
|
|
addr_t &data, unsigned &irq_number) {
|
|
|
|
return false; }
|
2017-05-02 13:00:17 +02:00
|
|
|
|
|
|
|
|
|
|
|
Board::Serial::Serial(addr_t, size_t, unsigned baudrate)
|
|
|
|
:X86_uart(Bios_data_area::singleton()->serial_port(), 0, baudrate) {}
|