Add Muen-specific platform_support.cc

The file specifies Muen-specific MMIO regions: Sinfo and paravirt timer
pages.
This commit is contained in:
Reto Buerki 2015-04-21 17:05:34 +02:00 committed by Stefan Kalkowski
parent c310e335ae
commit 96a0820e89
2 changed files with 33 additions and 1 deletions

View File

@ -17,8 +17,8 @@ SRC_S += spec/x86_64/kernel/crt0_translation_table.s
SRC_S += spec/x86_64/crt0.s SRC_S += spec/x86_64/crt0.s
# add C++ sources # add C++ sources
SRC_CC += spec/x86_64_muen/platform_support.cc
SRC_CC += spec/x86_64/kernel/thread_base.cc SRC_CC += spec/x86_64/kernel/thread_base.cc
SRC_CC += spec/x86_64/platform_support.cc
SRC_CC += spec/x86_64/idt.cc SRC_CC += spec/x86_64/idt.cc
SRC_CC += spec/x86_64/tss.cc SRC_CC += spec/x86_64/tss.cc
SRC_CC += spec/x86/platform_support.cc SRC_CC += spec/x86/platform_support.cc

View File

@ -0,0 +1,32 @@
/*
* \brief Platform implementations specific for x86_64_muen
* \author Reto Buerki
* \author Adrian-Ken Rueegsegger
* \date 2015-04-21
*/
/*
* Copyright (C) 2015 Genode Labs GmbH
*
* This file is part of the Genode OS framework, which is distributed
* under the terms of the GNU General Public License version 2.
*/
/* core includes */
#include <platform.h>
using namespace Genode;
Native_region * Platform::_core_only_mmio_regions(unsigned const i)
{
static Native_region _regions[] =
{
/* Sinfo pages */
{ 0x000e00000000, 0x7000 },
/* Timer page */
{ 0x000e00010000, 0x1000 },
};
return i < sizeof(_regions)/sizeof(_regions[0]) ? &_regions[i] : 0;
}
void Platform::setup_irq_mode(unsigned, unsigned, unsigned) { }