History log of /seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/x2apic.c
Revision Date Author Comments
# 40c61e5c 18-Jun-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Fix licenses (the rest)


# 4f3f89bc 17-May-2017 Adrian Danis <Adrian.Danis@data61.csiro.au>

x86: Avoid taking reference to local variable in apic_enable


# eccaae51 20-Feb-2017 Adrian Danis <Adrian.Danis@data61.csiro.au>

s/D61/DATA61/ in license headers for consistency


# 135b320b 21-Nov-2016 amrzar <azarrabi@nicta.com.au>

x86: extend APIC to support cluster IPIs


# d746cc9c 15-Nov-2016 amrzar <azarrabi@nicta.com.au>

x86: enable support for x2APIC