search

seL4 / seL4_libs

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

sel4utils: update benchmark_track.h #15

Open pingerino opened 5 years ago

pingerino commented 5 years ago

Fix errors on 64-bit.

pingerino commented 5 years ago

Signed CLA has been sent. This looks good to merge history wise, just let me know if you want any changes.