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.


bug fix to check for illegal memory ranges
[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
33 .globl v3_vgabios_start
34 v3_vgabios_start:
35 .incbin V3_CONFIG_VGABIOS_PATH
36 .global v3_vgabios_end
37 v3_vgabios_end:
38
39 .globl v3_rombios_start
40 v3_rombios_start:
41 .incbin V3_CONFIG_ROMBIOS_PATH
42 .globl v3_rombios_end
43 v3_rombios_end:
44
45
46 #ifdef V3_CONFIG_USE_PXE_BIOS
47 .globl pxebios_start
48 pxebios_start:
49 .incbin V3_CONFIG_PXEBIOS_PATH
50 .globl pxebios_end
51 pxebios_end:
52 #endif
53
54
55 /* temporary module */
56 /*
57 .globl symmod_start
58 symmod_start:
59 .incbin "./palacios/src/modules/test.ko"
60 .globl symmod_end
61 symmod_end:*/
62