Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


Cleanup and fixes based on Coverity pass
[palacios.git] / 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 V3_CONFIG_VMX
25 .globl v3_vmxassist_start
26 v3_vmxassist_start:
27 .incbin V3_CONFIG_VMXASSIST_PATH
28 .globl v3_vmxassist_end
29 v3_vmxassist_end:
30 #endif
31
32 #if defined(V3_CONFIG_SEABIOS) || defined(V3_CONFIG_BOCHSBIOS)
33 .globl v3_vgabios_start
34 v3_vgabios_start:
35 #ifdef V3_CONFIG_SEABIOS
36 .incbin V3_CONFIG_SEABIOSVGA_PATH
37 #endif
38 #ifdef V3_CONFIG_BOCHSBIOS
39 .incbin V3_CONFIG_BOCHSBIOSVGA_PATH
40 #endif
41 .global v3_vgabios_end
42 v3_vgabios_end:
43 #endif
44
45 .globl v3_rombios_start
46 v3_rombios_start:
47 #ifdef V3_CONFIG_SEABIOS
48 .incbin V3_CONFIG_SEABIOS_PATH
49 #endif
50 #ifdef V3_CONFIG_BOCHSBIOS
51 .incbin V3_CONFIG_BOCHSBIOS_PATH
52 #endif
53 #ifdef V3_CONFIG_OTHERBIOS
54 .incbin V3_CONFIG_OTHERBIOS_PATH
55 #endif
56 .globl v3_rombios_end
57 v3_rombios_end:
58
59 #ifdef V3_CONFIG_USE_PXE_BIOS
60 .globl pxebios_start
61 pxebios_start:
62 .incbin V3_CONFIG_PXEBIOS_PATH
63 .globl pxebios_end
64 pxebios_end:
65 #endif
66
67
68 /* temporary module */
69 /*
70 .globl symmod_start
71 symmod_start:
72 .incbin "./palacios/src/modules/test.ko"
73 .globl symmod_end
74 symmod_end:*/
75