ui/common: associate boot options with devices
[petitboot] / ui / common / timer.h
2013-06-24 Jeremy Kerrui: implement timers with waitsets
2009-07-09 Geoff LevandAdd generic UI countdown timer