History log of /seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/arch/arm/pmem.c
Revision Date Author Comments
# 3788ba2f 09-Jul-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

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

Fix licenses
# 250d16f6 15-May-2017 Kent McLeod <Kent.Mcleod@data61.csiro.au>

Add sel4platsupport_get_pmem_region_list

Returns a region list of the platform's memory layout