History log of /seL4-refos-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/acpi/acpi.h
Revision Date Author Comments
# 5a2ed916 11-Dec-2017 adamf <a.felizzi@student.unsw.edu.au>

libplatsupport: Modifications to RSDP parsing

Moved the parsing of the RSDP out of the table parsing procedure,
(_acpi_parse_tables). If the RSDP is not provided for ACPI
initialization, it will be searched for in the BIOS segment.
Modified the acpi_t struct to store the whole
RSDP object rather than the physical address of the object.


# fc7c1155 06-Dec-2017 adamf <a.felizzi@student.unsw.edu.au>

libplatsupport: Initialize ACPI with given RSDP

Enable ACPI initialization by passing an RSDP object rather
than searching for it within the BIOS section. Updated default
logical timer initialization to initialize the ACPI with a given
RSDP object.


# 5761b927 28-Sep-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

pragma once and for all


# 398af6af 13-Jul-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Fix whitespace

- remove trailing whitespace
- remove duplicate blank lines
- remove blank lines at end of file


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

fix licenses