IntelFrameworkModulePkg/Universal/BdsDxe/DeviceMngr/DeviceManagerVfr.Vfr

   1 ///** @file
   2 //
   3 //    Device Manager formset.
   4 //
   5 //  Copyright (c) 2004 - 2010, Intel Corporation. <BR>
   6 //  All rights reserved. This program and the accompanying materials
   7 //  are licensed and made available under the terms and conditions of the BSD License
   8 //  which accompanies this distribution.  The full text of the license may be found at
   9 //  http://opensource.org/licenses/bsd-license.php
  10 //
  11 //  THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
  12 //  WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
  13 //
  14 //**/
  15
  16 #define FORMSET_GUID  { 0x3ebfa8e6, 0x511d, 0x4b5b, 0xa9, 0x5f, 0xfb, 0x38, 0x26, 0xf, 0x1c, 0x27 }
  17
  18 #define EFI_DISK_DEVICE_CLASS              0x0001
  19 #define EFI_VIDEO_DEVICE_CLASS             0x0002
  20 #define EFI_NETWORK_DEVICE_CLASS           0x0004
  21 #define EFI_INPUT_DEVICE_CLASS             0x0008
  22 #define EFI_ON_BOARD_DEVICE_CLASS          0x0010
  23 #define EFI_OTHER_DEVICE_CLASS             0x0020
  24 #define LABEL_VBIOS                        0x0040
  25
  26 #define LABEL_DEVICES_LIST                 0x0080
  27 #define LABEL_END                          0xffff
  28
  29 #define DEVICE_MANAGER_CLASS               0x0000
  30 #define FRONT_PAGE_SUBCLASS                0x0003
  31
  32 #define DEVICE_MANAGER_FORM_ID             0x1000
  33
  34 #define DEVICE_MANAGER_KEY_DRIVER_HEALTH   0x1111
  35
  36 formset
  37   guid      = FORMSET_GUID,
  38   title     = STRING_TOKEN(STR_DEVICE_MANAGER_TITLE),
  39   help      = STRING_TOKEN(STR_EMPTY_STRING),
  40   classguid = FORMSET_GUID,
  41   class     = DEVICE_MANAGER_CLASS,
  42   subclass  = FRONT_PAGE_SUBCLASS,
  43
  44   form formid = DEVICE_MANAGER_FORM_ID,
  45        title  = STRING_TOKEN(STR_DEVICE_MANAGER_TITLE);
  46
  47     //
  48     // This is where devices get added to the device manager hierarchy
  49     //
  50     label EFI_DISK_DEVICE_CLASS;
  51 //    label LABEL_END;  // Since next opcode is a label, so this one could be omitted to save code size
  52
  53     label EFI_VIDEO_DEVICE_CLASS;
  54 //    label LABEL_END;
  55
  56     label EFI_NETWORK_DEVICE_CLASS;
  57 //    label LABEL_END;
  58
  59     label EFI_INPUT_DEVICE_CLASS;
  60 //    label LABEL_END;
  61
  62     label EFI_ON_BOARD_DEVICE_CLASS;
  63 //    label LABEL_END;
  64
  65 //    label EFI_OTHER_DEVICE_CLASS;
  66
  67     label LABEL_DEVICES_LIST;
  68     label LABEL_END;
  69
  70     subtitle text = STRING_TOKEN(STR_EMPTY_STRING);
  71
  72     label LABEL_VBIOS;
  73     label LABEL_END;
  74
  75     subtitle text = STRING_TOKEN(STR_EMPTY_STRING);
  76     subtitle text = STRING_TOKEN(STR_EXIT_STRING);
  77
  78   endform;
  79 endformset;
  80