History log of /seL4-camkes-master/tools/rumprun/platform/hw/arch/amd64/machdep.c
Revision Date Author Comments
# 3d6c392a 04-Nov-2015 Antti Kantee <pooka@iki.fi>

g/c leftover local prototypes

no functional change


# 4f49cab4 02-Aug-2015 Antti Kantee <pooka@iki.fi>

actually commit the code changes too (for previous commit)


# 820009c1 02-Aug-2015 Antti Kantee <pooka@iki.fi>

Nothing MD about "int spldepth;", so put it into kernel.c


# 77fa03e0 02-Aug-2015 Antti Kantee <pooka@iki.fi>

remove bmk_ prefix from routines private to platform/hw


# f46b55fb 07-Jul-2015 Antti Kantee <pooka@iki.fi>

print exception-causing rip also for divide-by-zero


# 8874ba38 22-Jun-2015 Martin Lucina <martin@lucina.net>

hw: Consolidate clock-related code

This commit consolidates the common clock-related functions for the x86
and amd64 hw platform into platform/hw/arch/x86/clock.c.

No functional change intended.


# 15170510 15-Jun-2015 Antti Kantee <pooka@iki.fi>

install trap handlers from i386 (shared code with amd64)


# 1f6bfed9 15-Jun-2015 Antti Kantee <pooka@iki.fi>

lidt and ltr belong to locore.S, not intr.S


# 1555b874 15-Jun-2015 Antti Kantee <pooka@iki.fi>

move timer init code into x86 common


# 6f2c0077 15-Jun-2015 Antti Kantee <pooka@iki.fi>

remember to rename also amd64 calls in previous


# c2f43b3b 15-Jun-2015 Antti Kantee <pooka@iki.fi>

Separate some x86-specific bits from the bmk_cpu interfaces.

bmk_cpu_foo -> bmk_x86_foo


# 5b409809 15-Jun-2015 Antti Kantee <pooka@iki.fi>

Start unifying i386 and amd64 common bits into x86.


# 2ca4f06b 13-Jun-2015 Antti Kantee <pooka@iki.fi>

Install TSS for amd64

Makes the mpg123 unikernel work as amd64 on my laptop (i.e. real
bare metal instead of just qemu)


# 88605a23 11-Jun-2015 Antti Kantee <pooka@iki.fi>

install some more trap handler to get diagnostic info


# f4f6330f 10-Jun-2015 Antti Kantee <pooka@iki.fi>

add initial support for amd64