// entry point for amd64
void amd64_shim(void *boot_info) {
	
}