#ifndef KERNEL_KE_BOOT_H
#define KERNEL_KE_BOOT_H

#include "kernel/hal/boot.h"

void SXAPI ke_main(struct boot_info *boot_info);

#endif