Skip to content
Test Kernel

modified bugs due to rename pte_t to PTE #136

Sign in to view logs

modified bugs due to rename pte_t to PTE

modified bugs due to rename pte_t to PTE #136

Run time

Learn about OS pricing on GitHub Actions
Job Run time
sel4-test
4m 0s
test-build (riscv64)
1m 24s
test-build (aarch64)
1m 19s
6m 43s