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.


Avoid strict-aliasing related issues when compiling with optimization
[palacios.git] / linux_module / iface-env-inject.h
1 #ifndef __IFACE_ENV_INJECT_H__
2 #define __IFACE_ENV_INJECT_H__
3
4
5 #define MAX_NUM_STRINGS 10
6 #define MAX_STRING_LEN 128
7 #define MAX_ENV_INJECT 10
8
9 #define V3_VM_ENV_INJECT 13125
10
11 struct env_data {
12     int num_strings;
13     char ** strings;
14     char bin_name[MAX_STRING_LEN];
15 };
16
17
18 #endif