denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

hw_x86_64: Setup and load Task State Segment

Browse Source
This commit is contained in:
Adrian-Ken Rueegsegger
2015-02-21 01:06:33 +01:00
committed by Christian Helmuth
parent 2af5aaa54d
commit 9f825ffb17
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
repos/base-hw/src/core/include/spec/x86/cpu.h
View File

@@ -18,6 +18,7 @@
#include <kernel/interface_support.h>
#include <cpu/cpu_state.h>
#include <idt.h>
#include <tss.h>
namespace Genode
{
@@ -43,9 +44,11 @@ class Genode::Cpu
/* Setup IDT only once */
if (primary_id() == executing_id()) {
Idt::setup();
Tss::setup();
}
Idt::load();
Tss::load();
}
static constexpr addr_t exception_entry = 0x0; /* XXX */