Update kernel (#16) #190
Annotations
13 errors
test-build (aarch64)
unresolved import `sel4_vspace::pte_tag_t`
|
test-build (aarch64)
unresolved import `sel4_vspace::pte_tag_t`
|
test-build (aarch64)
no method named `get_vs_base_ptr` found for struct `sel4_cspace::interface::cap_t` in the current scope
|
test-build (aarch64)
no function or associated item named `new_vspace_cap` found for struct `sel4_cspace::interface::cap_t` in the current scope
|
test-build (aarch64)
no function or associated item named `new_vspace_cap` found for struct `sel4_cspace::interface::cap_t` in the current scope
|
test-build (aarch64)
no variant or associated item named `CapVspaceCap` found for enum `sel4_cspace::interface::CapTag` in the current scope
|
test-build (aarch64)
no method named `get_vs_base_ptr` found for mutable reference `&mut sel4_cspace::interface::cap_t` in the current scope
|
test-build (aarch64)
no method named `get_vs_mapped_asid` found for mutable reference `&mut sel4_cspace::interface::cap_t` in the current scope
|
test-build (aarch64)
no method named `lookup_pt_slot` found for struct `sel4_vspace::PTE` in the current scope
|
test-build (aarch64)
type annotations needed
|
test-build (riscv64)
The job was canceled because "aarch64" failed.
|
test-build (riscv64)
The operation was canceled.
|
sel4-test
The action 'simulate' has timed out after 2 minutes.
|