debuggers.hg

view tools/firmware/etherboot/make-eb-rom-list @ 16996:42369d21641d

hvm: Etherboot for E100 NIC
Signed-off-by: Ian Jackson <ian.jackson@eu.citrix.com>
Signed-off-by: Yosuke Iwamatsu <y-iwamatsu@ab.jp.nec.com>
author Keir Fraser <keir.fraser@citrix.com>
date Thu Jan 31 16:23:35 2008 +0000 (2008-01-31)
parents
children bb0477a0e9f2
line source
1 #!/bin/sh
2 set -e
3 roms=$1; shift
4 echo "/* autogenerated - do not edit */"
5 echo "#define ETHERBOOT_ROM_LIST \\"
6 for nic in "$@"; do
7 makerom=`grep "^MAKEROM_ID_$nic *= *-p *" <$roms`
8 echo " ETHERBOOT_ROM($nic,${makerom#*-p}) \\"
9 done
10 echo
11 echo "/*end.*/"