History log of /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/model/statedata.h
Revision Date Author Comments
# d23a02f3 10-Apr-2018 Yanyan Shen <yanyan.shen@data61.csiro.au>

armv8/hyp: Add HW ASID variables


# d8d006fa 26-Mar-2018 Yanyan Shen <yanyan.shen@data61.csiro.au>

armv8/hyp: Add armHSCurVCPU and armHSVCPUActive


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

Fix licenses (the rest)


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

s/D61/DATA61/ in license headers for consistency


# 48d17e1f 16-Jan-2017 Hesham Almatary <hesham.almatary@data61.csiro.au>

ARM/SMP: Prepare for ARM SMP adding stubs

Currently building ARM/SMP is broken. This commit:
1- Makes it possible to build ARM/SMP with stubs. Run-time SMP for ARM
DOES NOT WORK.
2- Can be a reference for future SMP targets to follow in order to
layout/add the minimal required files and functions needed to support SMP.
3- Builds for Sabre only. In order to support other platforms, ipi
interrupt ID should be defined in machine.h


# 0b2fe8d6 17-Jan-2017 amrzar <azarrabi@nicta.com.au>

aarch64: Initial implementation


# fac16fe8 11-Jan-2017 amrzar <azarrabi@nicta.com.au>

aarch64: add preliminary folders and Makefiles