History log of /seL4-l4v-10.1.1/seL4/src/arch/x86/64/head.S
Revision Date Author Comments
# b942a504 26-Mar-2018 Bruce Mitchener <bruce.mitchener@gmail.com>

Fix trivial comment typos.


# ee28936d 18-Jun-2017 Hesham Almatary <hesham.almatary@data61.csiro.au>

SMP: Introduce ENABLE_SMP_SUPPORT

- Make it more readable and less confusing compared to the 'CONFIG_MAX_NUM_NODES > 1' check


# 40c61e5c 18-Jun-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Fix licenses (the rest)


# c5483385 12-Feb-2017 Adrian Danis <Adrian.Danis@data61.csiro.au>

x86: Remove duplication of the multiboot header


# 5037717c 11-Jan-2017 Adrian Danis <Adrian.Danis@data61.csiro.au>

x86: Explicitly define kernel stack size

This commit changes the previous hard coded 4K kernel stack size
to being a configurable power of 2 sized stack


# 62bb8ee1 11-Dec-2016 Jeff Waugh <jdub@bethesignal.org>

Enable SYSCALL (SCE) after entering long mode

It appears to be somewhat more correct to flip SCE after entering
long mode, as per other operating systems (including Linux).


# 3ba3f2de 04-Dec-2016 Adrian Danis <Adrian.Danis@data61.csiro.au>

x86: Add BSS regions for BOOT and PHYS code

Uninitialized data structures in BOOT and PHYS code currently get
placed in sections that are allocated in the file of the final image.
Whilst these sections will get reclaimed during kernel boot, so no
runtime memory is being wasted, it results in kernel images that
are much larger to load and transport than necesary.

This change adds explicit BSS regions for both BOOT and PHYS code
and moves all appropriate data structures into them


# 25282731 09-Nov-2016 Adrian Danis <Adrian.Danis@data61.csiro.au>

x64: Add entry point for AP


# 7f9970e5 20-Dec-2015 Adrian Danis <Adrian.Danis@nicta.com.au>

x64: Add x86_64 support