History log of /seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/pc99/platsupport/plat/hpet.h
Revision Date Author Comments
# bd19f23e 25-Jul-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

trivial: fix whitespace


# 74f421c4 19-Jul-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Add ltimer implementation for PC99

Users either the PIT + TSC or HPET


# 7c5081bc 19-Jul-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Add hpet_level to hpet interface

Gets the level from the HPET mapped device frame


# f646a11d 19-Jul-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Add hpet_parse_acpi to hpet interface


# 0e0c66e3 19-Jul-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Remove pstimer_t from hpet

Users just interface with hpet directly


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

fix licenses


# 1e08cafb 10-Jan-2017 Adrian Danis <Adrian.Danis@data61.csiro.au>

libplatsupport: Functions for querying HPET capabilities

Adds two functions for querying HPET capabilities. These allow a user to
pick at run time between different HPET modes having to just try and
initialize the HPET and guess why it failed.