src/config/config_efi.c

   1 /*
   2  * This program is free software; you can redistribute it and/or
   3  * modify it under the terms of the GNU General Public License as
   4  * published by the Free Software Foundation; either version 2 of the
   5  * License, or (at your option) any later version.
   6  *
   7  * This program is distributed in the hope that it will be useful, but
   8  * WITHOUT ANY WARRANTY; without even the implied warranty of
   9  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  10  * General Public License for more details.
  11  *
  12  * You should have received a copy of the GNU General Public License
  13  * along with this program; if not, write to the Free Software
  14  * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
  15  * 02110-1301, USA.
  16  *
  17  * You can also choose to distribute this program under the terms of
  18  * the Unmodified Binary Distribution Licence (as given in the file
  19  * COPYING.UBDL), provided that you have satisfied its requirements.
  20  */
  21
  22 FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
  23
  24 #include <config/general.h>
  25 #include <config/console.h>
  26
  27 /** @file
  28  *
  29  * EFI-specific configuration options
  30  *
  31  */
  32
  33 PROVIDE_REQUIRING_SYMBOL();
  34
  35 /*
  36  * Drag in all requested console types
  37  *
  38  */
  39
  40 #ifdef CONSOLE_EFI
  41 REQUIRE_OBJECT ( efi_console );
  42 #endif
  43 #ifdef CONSOLE_EFIFB
  44 REQUIRE_OBJECT ( efi_fbcon );
  45 #endif
  46 #ifdef CONSOLE_FRAMEBUFFER
  47 REQUIRE_OBJECT ( efi_fbcon );
  48 #endif
  49 #ifdef DOWNLOAD_PROTO_FILE
  50 REQUIRE_OBJECT ( efi_local );
  51 #endif