History log of /seL4-refos-master/projects/seL4_libs/libsel4vka/sel4_arch_include/x86_64/vka/sel4_arch/object.h
Revision Date Author Comments
# ac5006b8 14-Jan-2019 James Ye <james.ye@data61.csiro.au>

libsel4vka: make invalid object type errors non-fatal
# 135c651f 27-Sep-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

pragma once and for all
# 9214341c 04-Jun-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Fix licenses
# 8d2600e0 29-Feb-2016 Adrian Danis <Adrian.Danis@nicta.com.au>

libsel4vka: Add x86_64 object and kobject definitions