ehmry/genode-ehmry
ehmry/genode-ehmry
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

fixup "hw: factor out x86 specific bootinfo" (muen)

Browse Source 
Ref #3326
This commit is contained in:
Christian Helmuth 2019-05-17 13:02:23 +02:00
parent cf631c6805
commit 7646ef2d01
2 changed files with 3 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
repos/base-hw/src/core/kernel/cpu.cc
View File

@ -19,6 +19,7 @@
#include <kernel/irq.h>
#include <kernel/pd.h>
#include <pic.h>
#include <board.h>
#include <hw/assert.h>
#include <hw/boot_info.h>

10
repos/base-hw/src/core/spec/x86_64/muen/board.h
View File

@ -14,11 +14,10 @@
#ifndef _CORE__SPEC__X86_64__MUEN__BOARD_H_
#define _CORE__SPEC__X86_64__MUEN__BOARD_H_
#include <drivers/uart/x86_pc.h>
#include <hw/spec/x86_64/pc_board.h>
namespace Board {
struct Serial;
enum Dummies { UART_BASE, UART_CLOCK };
using namespace Hw::Pc_board;
enum {
TIMER_BASE_ADDR = 0xe00010000,
@ -34,9 +33,4 @@ namespace Board {
};
}
struct Board::Serial : Genode::X86_uart {
Serial(Genode::addr_t, Genode::size_t, unsigned);
};
#endif /* _CORE__SPEC__X86_64__MUEN__BOARD_H_ */