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.
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
12 * Copyright (c) 2010, Jack Lange <jarusl@cs.northwestern.edu>
13 * Copyright (c) 2010, The V3VEE Project <http://www.v3vee.org>
14 * All rights reserved.
16 * Author: Jack Lange <jarusl@cs.northwestern.edu>
18 * This is free software. You are permitted to use,
19 * redistribute, and modify it as specified in the file "V3VEE_LICENSE".
24 #define IDENT(str) str
25 #define TOSTR(str) #str
26 #define XSTR(str) TOSTR(str)
27 #define MOD_PATH(dir, name) TOSTR(dir/name)
28 #define MOD_NM(name) TOSTR(name)
32 .incbin MOD_PATH(MOD_DIR,MOD_OBJ)
36 .ascii MOD_NM(MOD_NAME)
39 .section _v3_capsules, "a"
40 IDENT(#ifdef __x86_64__)