add the timeout fault data structure and code #249
Annotations
5 errors and 4 warnings
|
Make rel4_kernel
unresolved import `sel4_task::sched_context`
|
|
Make rel4_kernel
cannot find unit struct, unit variant or constant `seL4_Fault_Timeout` in module `seL4_Fault_tag`
|
|
Make rel4_kernel
no function or associated item named `seL4_Fault_Timeout` found for struct `sel4_common::structures_gen::seL4_Fault` in the current scope
|
|
Make rel4_kernel
no field `tcbSchedContext` on type `&tcb_t`
|
|
Make rel4_kernel
Process completed with exit code 2.
|
|
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Make rel4_kernel
unused import: `convert_to_option_mut_type_ref`
|
|
Make rel4_kernel
unused import: `notification_t`
|
|
Make rel4_kernel
unused import: `thread_state_func`
|
Loading