message: set system control register to enable instruction cache
diff: @@ -19,7 +19,14 @@ pub unsafe extern "C" fn _start() -> ! {
  "mov x3, {stack_top_offset}",
  "add x2, x2, x3",
  "mov sp, x2",
  - /* Set exception table */
  + /* reset thread id registers */
  + "msr tpidr_el1, xzr",
  + /* set system control register */
  + "ldr x3, ={sctlr}",
  + "msr sctlr_el1, x3",
  + /* Reset debug controll register */
  + "msr mdscr_el1, xzr",
  + /* set exception table */
  "adrp x4, {vector_table}",
  "add x4, x4, #:lo12:{vector_table}",
  "msr vbar_el1, x4",
  @@ -28,6 +35,7 @@ pub unsafe extern "C" fn _start() -> ! {
  "br x4",
  current_stack_address_offset = const BootInfo::current_stack_address_offset(),
  stack_top_offset = const KERNEL_STACK_SIZE - TaskStacks::MARKER_SIZE,
  + sctlr = const 0x4D5D91Cisize,
  vector_table = sym vector_table,
  pre_init = sym pre_init,
  options(noreturn),
  