add complete signal mcs code, but cannot fix bugs #251

Annotations

1 error and 11 warnings

Process completed with exit code 1.

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

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 `sched_context_t` is imported redundantly

unused import: `thread_state_func`

the item `seL4_MinSchedContextBits` is imported redundantly