Test Kernel

add linker scripts and head.S #194

Annotations

2 errors and 10 warnings

mismatched types

Process completed with exit code 255.

unused import: `println`

unnecessary parentheses around `if` condition

unused imports: `cap_reply_cap`, `mdb_node`

unused import: `cte_insert`

unused import: `possible_switch_to`

unused import: `sched_context::sched_context_t`

the item `sched_context_t` is imported redundantly

unused import: `ffi::*`

unused import: `possible_switch_to`

unused import: `sel4_common::structures_gen::seL4_Fault_NullFault`