/hal/boot_hal/hal