/* $Id: bootimx23.bd,v 1.4 2013/10/07 17:36:40 matt Exp $ */

/*
 * elftosb command file.
 *
 * Generate boot image by issuing:
 * $ elftosb -V -c bootimx23.bd -z -o bootimx23.sb
 *
 * Verify generated boot image:
 * $ sbtool -x 2 bootimx23.sb
 *
 */

options {
	toolset = "GNU";
}

sources {
	# elf(3) binary.
	boot_prep="./bootimx23";
	# objcopy(1) generated .bin
	netbsd="./netbsd.bin";
}

section (0) {
	// Initialize power, clocks and DRAM.
	load boot_prep;
	call boot_prep;

	// Load kernel to DRAM.
	load netbsd > 0x40000000;
	jump 0x40000000;
}