feat: support aarch64 sel4test #154
yfblockAnnotations
12 errors and 7 warnings
|
test-build (aarch64)
unresolved import `sel4_vspace::get_asid_pool_by_index`
|
|
test-build (aarch64)
no method named `lookup_pd_slot` found for struct `sel4_vspace::PTE` in the current scope
|
|
test-build (aarch64)
type annotations needed
|
|
test-build (aarch64)
type annotations needed
|
|
test-build (aarch64)
cannot index into a value of type `&mut asid_pool_t`
|
|
test-build (aarch64)
cannot index into a value of type `&mut asid_pool_t`
|
|
test-build (aarch64)
no method named `lookup_pt_slot` found for struct `sel4_vspace::PTE` in the current scope
|
|
test-build (aarch64)
no method named `lookup_pd_slot` found for struct `sel4_vspace::PTE` in the current scope
|
|
test-build (aarch64)
no method named `lookup_pud_slot` found for struct `sel4_vspace::PTE` in the current scope
|
|
test-build (aarch64)
no method named `lookup_pgd_slot` found for struct `sel4_vspace::PTE` in the current scope
|
|
test-build (riscv64)
The job was canceled because "aarch64" failed.
|
|
sel4-test
The action 'simulate' has timed out after 2 minutes.
|
|
test-build (aarch64)
unused macro definition: `msr`
|
|
test-build (aarch64)
unused import: `crate::BIT`
|
|
test-build (aarch64)
unused import: `is_valid_vtable_root`
|
|
test-build (aarch64)
unused import: `find_vspace_for_asid`
|
|
test-build (aarch64)
unreachable expression
|
|
test-build (riscv64)
unused import: `global_ops`
|
|
sel4-test
unused import: `global_ops`
|