History log of /seL4-refos-master/projects/refos/impl/apps/terminal/src/print_time.h
Revision Date Author Comments
# 0ef8a6e3 10-Oct-2016 Alexander Wharton <awharton@alexw.keg.ertos.in.nicta.com.au>

modify how RefOS prints the time because the old way does not work with musllibc as locales are not supported in RefOS