History log of /seL4-l4v-10.1.1/seL4/include/arch/arm/armv/armv7ve/armv/benchmark_irqHandler.h
Revision Date Author Comments
# 19b89ed1 14-Jan-2017 amrzar <azarrabi@nicta.com.au>

ARM: Add 32 bit directory for armv8-a
# 09358f9b 23-Jun-2016 Hesham Almatary <Hesham.Almatary@nicta.com.au>

SELFOUR-448 Benchmark: Track thread's CPU utilisation time