seL4/libsel4/sel4_arch_include
Curtis Millar 0d35551966
riscv: Implement benchmark log buffer
Can now perform benchmarks on the kernel using the log buffer to trace
kernel behavior.

Signed-off-by: Curtis Millar <curtis.millar@data61.csiro.au>
2020-12-03 10:31:16 +11:00
..
aarch32 SMMU: basic driver for init and probing 2020-10-28 17:30:42 +11:00
aarch64 smmuv2: Reserve VSpace slot for holding CB count 2020-11-03 10:14:46 +11:00
ia32 Do not generate data symbols for enums 2020-08-26 12:48:00 +10:00
riscv32 riscv: Implement benchmark log buffer 2020-12-03 10:31:16 +11:00
riscv64 riscv: Implement benchmark log buffer 2020-12-03 10:31:16 +11:00
x86_64 Do not generate data symbols for enums 2020-08-26 12:48:00 +10:00
arm_hyp Merge branch master into arm_hyp 2016-02-01 14:57:37 +11:00