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.


Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios...
[palacios.git] / modules / v3_mods / Kconfig
1
2
3
4 config V3_MODS
5         bool "V3VEE Symbiotic modules"
6         select V3_MOD_32BIT
7         select V3_MOD_64BIT
8         
9
10
11
12
13 config V3_MOD_32BIT
14         bool "32 bit modules"
15         depends on V3_MODS
16
17 config V3_MOD_32BIT_TEST
18         bool "V3 Sym (i386) test module"
19         default y if SYMMOD
20         depends on V3_MOD_32BIT
21         help 
22             This is a simple 32 bit test Symbiotic Module
23
24
25
26
27 config V3_MOD_64BIT
28         bool "64 bit modules" 
29         depends on V3_MODS
30         default y               
31