#include <drivers/irq/arm/gicv2.h>
#include <platform/arm64/fpu/fpu.h>
#include <platform/arm64/init.h>
#include <platform/arm64/interrupts.h>

int core_setup()
{
    return 0;
}

/**
 * platform_init_boot_cpu initializes bare minimum to setup VM.
 */
void platform_init_boot_cpu()
{
    core_setup();
    interrupts_setup();
}

void platform_setup_boot_cpu()
{
    gic_setup();
    fpu_install();
}

void platform_setup_secondary_cpu()
{
}