#include "verstage.h"

/**
 * Stage entry point
 */
void vboot_main(void)
{
	for(;;);
}