History log of /seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/tqueue.h
Revision Date Author Comments
# 3e748006 05-Oct-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

platsupport: fix invalid comparator in tqueue

- Subtraction is not compare for unsigned values :(
- also remove id field from comparator, not required as cmp
does not reflect node equality in sglib (it's not java)


# 09bef7ec 24-Sep-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

platsupport: add time manager + local implementation

This is an interface for time services, plus a default implementation of a local time
manager.

The time manager takes an ltimer and uses it to provide the
current time and timeouts which are called as callbacks. It provides a
mapping between ids (generated by the time manager) and callbacks.

Simply put this time manager interface uses an ltimer and the timeout data
structure to provide local timeout multiplexing.