search

seL4 / seL4_libs

No-assurance libraries for rapid-prototyping of seL4 apps.
https://docs.sel4.systems
Other
52 stars 62 forks source link

libsel4utils: use seL4_Time instead of uint64_t #66

Closed axel-h closed 1 year ago

axel-h commented 1 year ago

Use dedicated types instead of the generic uint64. Techically it does no make much difference, just improves the semantics a bit.

Test with: https://github.com/seL4/seL4/pull/922

axel-h commented 1 year ago

@kent-mcleod: are you fine with merging this?