secc
/
seL4_libs
mirror of https://github.com/seL4/seL4_libs.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
seL4_libs/libsel4platsupport
History
julia 959d4c38b8 use LibPlatSupportHaveTimer instead of inverse 
As suggested by Indan to be clearer to understand.
https://github.com/seL4/util_libs/pull/196#issuecomment-2918974119

Signed-off-by: julia <git.ts@trainwit.ch>
 		2025-05-30 22:07:41 +01:00
..
arch_include convert to SPDX license headers 2021-02-10 19:30:35 +11:00
include/sel4platsupport convert to SPDX license headers 2021-02-10 19:30:35 +11:00
src use LibPlatSupportHaveTimer instead of inverse 2025-05-30 22:07:41 +01:00
CMakeLists.txt Bump minimum CMake version 2025-02-26 14:34:53 +11:00