search

seL4 / util_libs

Other
55 stars 83 forks source link

libplatsupport: use ltimer prefix for functions #185

Open axel-h opened 4 months ago

axel-h commented 4 months ago

Avoid using generic names, as this may cause name clashes.