1/* $Id: bootimx23.bd,v 1.4 2013/10/07 17:36:40 matt Exp $ */ 2 3/* 4 * elftosb command file. 5 * 6 * Generate boot image by issuing: 7 * $ elftosb -V -c bootimx23.bd -z -o bootimx23.sb 8 * 9 * Verify generated boot image: 10 * $ sbtool -x 2 bootimx23.sb 11 * 12 */ 13 14options { 15 toolset = "GNU"; 16} 17 18sources { 19 # elf(3) binary. 20 boot_prep="./bootimx23"; 21 # objcopy(1) generated .bin 22 netbsd="./netbsd.bin"; 23} 24 25section (0) { 26 // Initialize power, clocks and DRAM. 27 load boot_prep; 28 call boot_prep; 29 30 // Load kernel to DRAM. 31 load netbsd > 0x40000000; 32 jump 0x40000000; 33} 34