palacios/src/palacios/vmm_binaries.S

   1 #;  -*- fundamental -*-
   2
   3 /*
   4  * This file is part of the Palacios Virtual Machine Monitor developed
   5  * by the V3VEE Project with funding from the United States National
   6  * Science Foundation and the Department of Energy.
   7  *
   8  * The V3VEE Project is a joint project between Northwestern University
   9  * and the University of New Mexico.  You can find out more at
  10  * http://www.v3vee.org
  11  *
  12  * Copyright (c) 2008, Andy Gocke <agocke@gmail.com>
  13  * Copyright (c) 2008, The V3VEE Project <http://www.v3vee.org>
  14  * All rights reserved.
  15  *
  16  * Author: Andy Gocke <agocke@gmail.com>
  17  *
  18  * This is free software.  You are permitted to use,
  19  * redistribute, and modify it as specified in the file "V3VEE_LICENSE".
  20  */
  21
  22 .data
  23
  24 #ifdef CONFIG_VMX
  25 .globl v3_vmxassist_start
  26 v3_vmxassist_start:
  27 .incbin CONFIG_VMXASSIST_PATH
  28 .globl v3_vmxassist_end
  29 v3_vmxassist_end:
  30 #endif
  31
  32
  33 .globl v3_vgabios_start
  34 v3_vgabios_start:
  35 .incbin CONFIG_VGABIOS_PATH
  36 .global v3_vgabios_end
  37 v3_vgabios_end:
  38
  39 .globl v3_rombios_start
  40 v3_rombios_start:
  41 .incbin CONFIG_ROMBIOS_PATH
  42 .globl v3_rombios_end
  43 v3_rombios_end:
  44
  45
  46 #ifdef CONFIG_USE_PXE_BIOS
  47 .globl pxebios_start
  48 pxebios_start:
  49 .incbin CONFIG_PXEBIOS_PATH
  50 .globl pxebios_end
  51 pxebios_end:
  52 #endif