History log of /seL4-camkes-master/tools/rumprun/platform/hw/arch/amd64/locore.S
Revision Date Author Comments
# 3c157b59 12-Mar-2017 Francesco Lattanzio <franz.lattanzio@gmail.com>

Enable SSE in i386

For libcompiler_rt makes use of SSE instructions in its floating point
routines, CR4's OSFXSR flag must be enabled or an #UD exception will
ensue.
This patch also enables the OSXMMEXCPT flag, just to be in sync with
the amd64 version of the boot code.


# d4b5351f 29-Sep-2015 Martin Lucina <martin@lucina.net>

Save BIOS data area values in locore

Eliminates the need to muck with page tables on amd64


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

actually commit the code changes too (for previous commit)


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

remove bmk_ prefix from routines private to platform/hw


# f197e55f 18-Jul-2015 Antti Kantee <pooka@iki.fi>

Pass multiboot info as an argument instead of global.


# 032466f9 10-Jul-2015 Antti Kantee <pooka@iki.fi>

Implement the "not multibooted" message in assembly.

That way we can use the same code for amd64 (where we can't call C code
at that stage since we're not yet in long mode).


# 444e9a66 09-Jul-2015 Antti Kantee <pooka@iki.fi>

unify {i386,amd64}/boot.c -> x86/boot.c


# 049452c7 09-Jul-2015 Antti Kantee <pooka@iki.fi>

less magic numbers


# 9dd6c84a 09-Jul-2015 Antti Kantee <pooka@iki.fi>

Clear console in assembly.

Avoids having to call C in very early bootstrap.


# c924c725 16-Jun-2015 Antti Kantee <pooka@iki.fi>

On second thought, just set _edata to the actual end of data


# 6fe15ffa 16-Jun-2015 Antti Kantee <pooka@iki.fi>

Load data from binary up to _tdata_end (which is after _edata)


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

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


# 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)


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

enable SSE

mpg123 with cpu=x86-64 now works


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

add initial support for amd64