Sign in
opensecura
/
3p
/
sel4
/
sel4_libs
/
5a16c9af059f84720ffb573884650d5bdd03d175
/
libsel4platsupport
/
include
/
sel4platsupport
/
timer.h
e9a9ff4
Trivial: Style fix
by Yu Hou
· 6 years ago
e23dc54
seL4_libs: remove autoconf.h from seL4_libs
by Yu Hou
· 6 years ago
5f4ecbd
libsel4platsupport: Provide interface to initialize timer with a supplied ps_io_ops
by Adrian Danis
· 7 years ago
bf8d18a
libsel4platsupport: Fix stray character in comment
by Adrian Danis
· 7 years ago
8630e52
Add timer_objects helper functions
by Kent McLeod
· 8 years ago
c59517c
Provide ltimer seL4 object initialisation
by Anna Lyons
· 8 years ago
0016dfc
Fix all the whitespace
by Anna Lyons
· 8 years ago
9214341
Fix licenses
by Anna Lyons
· 8 years ago
d4ae924
libsel4platsupport: add init_default_timer_caps
by Kent McLeod
· 8 years ago
60c6d51
libsel4platsupport: fix timer.h include order
by Kent McLeod
· 8 years ago
a1cb15c
sel4utils: remove redundant indirection in timers
by Anna Lyons
· 8 years ago
76fcd2c
libsel4platsupport: use HPET as default timer x86
by Anna Lyons
· 8 years ago
2705c24
sel4utils: clean up timer_destroy functions
by Anna Lyons
· 9 years ago
459c883
Add 'libsel4platsupport/' from commit 'cb83528261de6ad393a80a3acbc6a7e6059790e1'
by Anna Lyons
· 9 years ago