History log of /seL4-test-master/projects/seL4_libs/libsel4platsupport/src/arch/x86/pmem.c
Revision Date Author Comments
# 996f4e63 20-Nov-2019 Kent McLeod <Kent.Mcleod@data61.csiro.au>

pmem: Downgrade error output to warning

There are several locations where this function is called where a memory
map isn't expected to be available and generates spurious errors.


# 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