History log of /seL4-refos-master/libs/libsel4allocman/sel4_arch/aarch64/allocman/sel4_arch/reservation.h
Revision Date Author Comments
# 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
# f6decb1f 23-Jan-2017 amrzar <azarrabi@nicta.com.au>

libsel4allocman: add support for aarch64
# b578b9e7 22-Jan-2017 amrzar <azarrabi@nicta.com.au>

Prepare for aarch64 implementation