History log of /seL4-refos-master/projects/seL4_libs/libsel4vka/sel4_arch_include/arm_hyp/vka/sel4_arch/object.h
Revision Date Author Comments
# e9a9ff4f 18-Jul-2019 Yu Hou <Yu.Hou@data61.csiro.au>

Trivial: Style fix

make the style checker happy


# e23dc54b 19-May-2019 Yu Hou <Yu.Hou@data61.csiro.au>

seL4_libs: remove autoconf.h from seL4_libs

this commit removes autoconf.h generation from each lib and
append '#include <<lib_name>/gen_config.h>' after each
'#include <autoconf.h>' since autoconf.h is only the for the
kernel config now. This is a temporarily solution, since we
currently don't have a way to tell which header files each file
is trying to include when it includes 'autoconf.h'


# adcad680 05-Dec-2018 Yanyan Shen <yanyan.shen@data61.csiro.au>

sel4vka: Lift the Arm VCPU object to arch level.


# 135c651f 27-Sep-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

pragma once and for all


# 1fa804e4 21-Aug-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

libsel4vka: return an error, don't abort, in object.h


# 9214341c 04-Jun-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Fix licenses


# 32095095 25-May-2017 Adrian Danis <Adrian.Danis@data61.csiro.au>

Use CONFIG_ variables instead of configuration definitions


# 9e3c8e27 23-Jan-2017 amrzar <azarrabi@nicta.com.au>

libsel4vka: Add aarch64 support


# b578b9e7 22-Jan-2017 amrzar <azarrabi@nicta.com.au>

Prepare for aarch64 implementation