Test Kernel

try to fix more bugs of convert #213

Annotations

5 errors and 4 warnings

The job was canceled because "riscv64_OFF" failed.

unresolved import `sel4_task::reply`

unresolved import `sel4_task::sched_context`

no method named `get_capReplyPtr` found for mutable reference `&mut cap_reply_cap` in the current scope

Process completed with exit code 2.

unused import: `notification_t`

unused import: `sel4_common::structures_gen::seL4_Fault`

unused imports: `thread_control_caps_update_fault`, `thread_control_caps_update_ipc_buffer`, `thread_control_caps_update_space`

unused import: `convert_to_option_type_ref`