src/vendorcode/google/chromeos/vboot2/verstage.c

   1 /*
   2  * This file is part of the coreboot project.
   3  *
   4  * Copyright 2015 Google Inc.
   5  *
   6  * This program is free software; you can redistribute it and/or modify
   7  * it under the terms of the GNU General Public License as published by
   8  * the Free Software Foundation; version 2 of the License.
   9  *
  10  * This program is distributed in the hope that it will be useful,
  11  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  12  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  13  * GNU General Public License for more details.
  14  */
  15
  16 #include <arch/exception.h>
  17 #include <arch/hlt.h>
  18 #include <console/console.h>
  19 #include <program_loading.h>
  20 #include "../vboot_common.h"
  21
  22 void __attribute__((weak)) verstage_mainboard_init(void)
  23 {
  24         /* Default empty implementation. */
  25 }
  26
  27 void verstage(void)
  28 {
  29         console_init();
  30         exception_init();
  31         verstage_mainboard_init();
  32
  33         if (IS_ENABLED(CONFIG_RETURN_FROM_VERSTAGE)) {
  34                 verstage_main();
  35         } else {
  36                 run_romstage();
  37                 hlt();
  38         }
  39 }
  40
  41 #if !IS_ENABLED(CONFIG_CHIPSET_PROVIDES_VERSTAGE_MAIN_SYMBOL)
  42 /* This is for boards that rely on main() for an entry point of a stage. */
  43 void main(void) __attribute__((alias ("verstage")));
  44 #endif