seL4_libs icon indicating copy to clipboard operation
seL4_libs copied to clipboard

Published 20 hours ago • verified publisher icon seL4

sel4utils: update benchmark_track.h

Open pingerino opened this issue 5 years ago • 1 comments

Fix errors on 64-bit.

pingerino avatar Jul 03 '19 03:07 pingerino

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

pingerino avatar Jul 10 '19 23:07 pingerino