add the timeout fault data structure and code #249
ZhiyuanSuetest.yaml
on: push
Matrix: sel4-test-mcs
Matrix: sel4-test
Matrix: test-build
Annotations
28 errors and 36 warnings
|
test-build (aarch64, OFF)
unresolved import `sel4_task::sched_context`
|
|
test-build (aarch64, OFF)
cannot find unit struct, unit variant or constant `seL4_Fault_Timeout` in module `seL4_Fault_tag`
|
|
test-build (aarch64, OFF)
no function or associated item named `seL4_Fault_Timeout` found for struct `sel4_common::structures_gen::seL4_Fault` in the current scope
|
|
test-build (aarch64, OFF)
no field `tcbSchedContext` on type `&tcb_t`
|
|
test-build (aarch64, OFF)
Process completed with exit code 2.
|
|
test-build (aarch64, ON)
The job was canceled because "aarch64_OFF" failed.
|
|
test-build (aarch64, ON)
unresolved import `sel4_task::sched_context`
|
|
test-build (aarch64, ON)
cannot find unit struct, unit variant or constant `seL4_Fault_Timeout` in module `seL4_Fault_tag`
|
|
test-build (aarch64, ON)
no function or associated item named `seL4_Fault_Timeout` found for struct `sel4_common::structures_gen::seL4_Fault` in the current scope
|
|
test-build (aarch64, ON)
no field `tcbSchedContext` on type `&tcb_t`
|
|
test-build (aarch64, ON)
Process completed with exit code 2.
|
|
test-build (riscv64, OFF)
The job was canceled because "aarch64_OFF" failed.
|
|
test-build (riscv64, OFF)
The operation was canceled.
|
|
test-build (riscv64, ON)
The job was canceled because "aarch64_OFF" failed.
|
|
test-build (riscv64, ON)
The operation was canceled.
|
|
sel4-test (qemu-arm-virt)
unresolved import `sel4_task::sched_context`
|
|
sel4-test (spike)
unresolved import `sel4_task::sched_context`
|
|
sel4-test (qemu-arm-virt)
cannot find unit struct, unit variant or constant `seL4_Fault_Timeout` in module `seL4_Fault_tag`
|
|
sel4-test (spike)
cannot find unit struct, unit variant or constant `seL4_Fault_Timeout` in module `seL4_Fault_tag`
|
|
sel4-test (qemu-arm-virt)
no function or associated item named `seL4_Fault_Timeout` found for struct `sel4_common::structures_gen::seL4_Fault` in the current scope
|
|
sel4-test (spike)
no function or associated item named `seL4_Fault_Timeout` found for struct `sel4_common::structures_gen::seL4_Fault` in the current scope
|
|
sel4-test (qemu-arm-virt)
no field `tcbSchedContext` on type `&tcb_t`
|
|
sel4-test (spike)
no field `tcbSchedContext` on type `&tcb_t`
|
|
sel4-test (qemu-arm-virt)
Process completed with exit code 255.
|
|
sel4-test (spike)
Process completed with exit code 255.
|
|
sel4-test-mcs (qemu-arm-virt)
Process completed with exit code 1.
|
|
sel4-test-mcs (spike)
The job was canceled because "qemu-arm-virt" failed.
|
|
sel4-test-mcs (spike)
The operation was canceled.
|
|
test-build (aarch64, OFF)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test-build (aarch64, OFF)
unused import: `convert_to_option_mut_type_ref`
|
|
test-build (aarch64, OFF)
unused import: `notification_t`
|
|
test-build (aarch64, OFF)
unused import: `thread_state_func`
|
|
test-build (aarch64, ON)
unused import: `convert_to_option_mut_type_ref`
|
|
test-build (aarch64, ON)
unused import: `notification_t`
|
|
test-build (aarch64, ON)
unused import: `thread_state_func`
|
|
sel4-test (qemu-arm-virt)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
sel4-test (spike)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
sel4-test (qemu-arm-virt)
unused import: `convert_to_option_mut_type_ref`
|
|
sel4-test (spike)
unused import: `convert_to_option_mut_type_ref`
|
|
sel4-test (qemu-arm-virt)
unused import: `notification_t`
|
|
sel4-test (spike)
unused import: `notification_t`
|
|
sel4-test (qemu-arm-virt)
unused import: `thread_state_func`
|
|
sel4-test (spike)
unused import: `thread_state_func`
|
|
sel4-test-mcs (qemu-arm-virt)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
sel4-test-mcs (qemu-arm-virt)
constant `CONFIGURE_CLK_MAGIC` is never used
|
|
sel4-test-mcs (qemu-arm-virt)
constant `CONFIGURE_CLK_SHIFT` is never used
|
|
sel4-test-mcs (qemu-arm-virt)
unused import: `println`
|
|
sel4-test-mcs (qemu-arm-virt)
unused imports: `cap_reply_cap`, `mdb_node`
|
|
sel4-test-mcs (qemu-arm-virt)
unused import: `cte_insert`
|
|
sel4-test-mcs (qemu-arm-virt)
unused import: `sched_context::sched_context_t`
|
|
sel4-test-mcs (qemu-arm-virt)
the item `sched_context_t` is imported redundantly
|
|
sel4-test-mcs (qemu-arm-virt)
the item `ksCurSC` is imported redundantly
|
|
sel4-test-mcs (qemu-arm-virt)
the item `reply_t` is imported redundantly
|
|
sel4-test-mcs (qemu-arm-virt)
the item `sched_context_t` is imported redundantly
|
|
sel4-test-mcs (spike)
unused import: `println`
|
|
sel4-test-mcs (spike)
unused imports: `cap_reply_cap`, `mdb_node`
|
|
sel4-test-mcs (spike)
unused import: `cte_insert`
|
|
sel4-test-mcs (spike)
unused import: `sched_context::sched_context_t`
|
|
sel4-test-mcs (spike)
the item `sched_context_t` is imported redundantly
|
|
sel4-test-mcs (spike)
the item `ksCurSC` is imported redundantly
|
|
sel4-test-mcs (spike)
the item `reply_t` is imported redundantly
|
|
sel4-test-mcs (spike)
the item `sched_context_t` is imported redundantly
|
|
sel4-test-mcs (spike)
the item `ksCurSC` is imported redundantly
|
|
sel4-test-mcs (spike)
the item `sched_context_t` is imported redundantly
|