

#include <arch/arch.h>
#include <boot_config.h>
#include <stdio.h>

#if __i386__

void architecture_prepare(struct boot_config *config __attribute__((unused)))
{
	fprintf(dbgout, "Preparing system architecture: i386\n");
	gdt_prepare();
}

#endif