Handle case in build.php when $A is not set
[people/meteger/rom-o-matic/.git] / directions.php
1 <?
2
3 /**
4  * Copyright (C) 2009 Marty Connor <mdc@etherboot.org>.
5  * Copyright (C) 2009 Entity Cyber, Inc.
6  *
7  * This program is free software; you can redistribute it and/or
8  * modify it under the terms of the GNU General Public License as
9  * published by the Free Software Foundation; either version 2 of the
10  * License, or any later version.
11  *
12  * This program is distributed in the hope that it will be useful, but
13  * WITHOUT ANY WARRANTY; without even the implied warranty of
14  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
15  * General Public License for more details.
16  *
17  * You should have received a copy of the GNU General Public License
18  * along with this program; if not, write to the Free Software
19  * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
20  */
21
22 ?>
23     <li>
24       Choose an output format: <? echo keys_menubox ( "ofmt", $ofmts,
25       isset ( $_POST['ofmt'] ) ? $_POST['ofmt'] : "") ?>
26       <br><br>
27     </li>
28     <li>
29       Choose a NIC type: <? echo keys_menubox ( "nic", $nics, 
30       isset ( $_POST['nic'] ) ? $_POST['nic'] : "" ) ?>
31       <br><br>
32     </li>
33     <li>
34       <strong>( optional &mdash; for binary ROM image format only )</strong> <br><br>
35       If you choose <em>Binary ROM image</em> as your output format, you must<br>
36       enter <strong>4 hex digits</strong> below for
37       <em>PCI VENDOR CODE</em> and <em>PCI DEVICE CODE</em>  <br>
38       that match the NIC device for which you are making this image.<br><br>
39       Information on how to determine NIC PCI IDs may be found
40       <a href="http://etherboot.org/wiki/romburning" 
41       target="_blank">here</a>.
42       <br><br>
43       PCI VENDOR CODE:  <? echo textbox ( "pci_vendor_code",
44       isset ( $_POST['pci_vendor_code'] ) ? $_POST['pci_vendor_code'] 
45               : "", 6 ); ?> 
46       &nbsp;&nbsp;
47       PCI DEVICE CODE:  <? echo textbox ( "pci_device_code",
48       isset ( $_POST['pci_device_code'] ) ? $_POST['pci_device_code']
49               : "", 6 ); ?> 
50       <h4>Please note for ROM images:</h4>
51       <ul>
52         <li>
53           If you enter PCI IDs, we will attempt to determine the correct<br>
54           driver to support them, and will ignore any NIC type entered 
55           above.<br><br>
56         </li>
57         <li>
58           gPXE does not support all possible PCI IDs for supported 
59           NICs.
60           <br><br>
61         </li>
62       </ul>
63     </li>