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 TOSTR(str) #str
25 #define MOD_DIR(name) TOSTR(./modules/linux_mods/i386/binaries/name)
28 #ifdef CONFIG_LNX_MOD_32BIT_TEST
29 .globl v3_lnx_mod_32bit_test_start
30 v3_lnx_mod_32bit_test_start:
31 .incbin MOD_DIR(test.ko)
32 .globl v3_lnx_mod_32bit_test_stop
33 v3_lnx_mod_32bit_test_stop: