#ifndef _HAL_BOOT_H_
#define _HAL_BOOT_H_

#include "kernel/hal/boot.h"

#endif