RFC: AArch64: remove VSpace object types, seL4_ARM_PageDirectory and seL4_ARM_PageUpperDirectory #123
Job | Run time |
---|---|
2m 10s | |
12m 7s | |
2m 10s | |
16m 43s | |
2m 6s | |
6m 25s | |
1m 57s | |
6m 24s | |
2m 7s | |
12m 59s | |
2m 7s | |
11m 15s | |
2m 8s | |
4m 1s | |
2m 9s | |
11m 42s | |
1h 38m 30s |