#ifndef _KERNEL_PLATFORM_ARM32_TARGET_GENERAL_CORE_SETUP_H
#define _KERNEL_PLATFORM_ARM32_TARGET_GENERAL_CORE_SETUP_H

int cortex_a15_setup();

#endif // _KERNEL_PLATFORM_ARM32_TARGET_GENERAL_CORE_SETUP_H