export LibPlatSupportHaveTimer instead of inverse#197

Indanz merged 1 commit into

seL4:masterseL4/util_libs:masterfrom

midnightveil:julia/have-timer-renamemidnightveil/seL4_util_libs:julia/have-timer-renameCopy head branch name to clipboard