/* $Id: bootimx23.bd,v 1.3 2012/12/16 19:08:44 jkunz 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 {
	boot_prep="./bootimx23";
	netbsd="./netbsd";
}

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

	// Load kernel to DRAM.
	load netbsd;
	jump netbsd;
}