Test Kernel

add the timeout fault data structure and code #249

Annotations

6 errors and 3 warnings

The job was canceled because "aarch64_OFF" failed.

unresolved import `sel4_task::sched_context`

cannot find unit struct, unit variant or constant `seL4_Fault_Timeout` in module `seL4_Fault_tag`

no function or associated item named `seL4_Fault_Timeout` found for struct `sel4_common::structures_gen::seL4_Fault` in the current scope

no field `tcbSchedContext` on type `&tcb_t`

Process completed with exit code 2.

unused import: `convert_to_option_mut_type_ref`

unused import: `notification_t`

unused import: `thread_state_func`