qemu/roms/ipxe/contrib/rom-o-matic/directions.php

   1 <?php
   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: <?php echo keys_menubox ( "ofmt", $ofmts,
  25       isset ( $_POST['ofmt'] ) ? $_POST['ofmt'] : "") ?>
  26       <br><br>
  27     </li>
  28     <li>
  29       Choose a NIC type: <?php 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://www.ipxe.org/howto/romburning"
  41       target="_blank">here</a>.
  42       <br><br>
  43       PCI VENDOR CODE:  <?php echo textbox ( "pci_vendor_code",
  44       isset ( $_POST['pci_vendor_code'] ) ? $_POST['pci_vendor_code']
  45               : "", 6 ); ?>
  46       &nbsp;&nbsp;
  47       PCI DEVICE CODE:  <?php 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           iPXE does not support all possible PCI IDs for supported
  59           NICs.
  60           <br><br>
  61         </li>
  62       </ul>
  63     </li>