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