Skip to content
seL4Test HW

Update mach timer.h to use axi instead of amba #260

Sign in to view logs

Update mach timer.h to use axi instead of amba

Update mach timer.h to use axi instead of amba #260

Run time

Learn about OS pricing on GitHub Actions
Job Run time
HW Build
0s
Matrix
0s
HW Run
0s
0s