Test Kernel

try to fix more bugs of convert #213

Annotations

2 errors and 10 warnings

The job was canceled because "spike" failed.

The operation was canceled.

constant `CONFIGURE_CLK_MAGIC` is never used

constant `CONFIGURE_CLK_SHIFT` is never used

unused import: `println`

unused imports: `cap_reply_cap`, `mdb_node`

unused import: `cte_insert`

unused import: `sched_context::sched_context_t`

the item `sched_context_t` is imported redundantly

the item `reply_t` is imported redundantly

the item `seL4_MinSchedContextBits` is imported redundantly

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