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 / linux_mods / Kconfig
1
2
3
4 config LNX_KERN_MODS
5         bool "Linux kernel modules"
6         select LNX_MOD_32BIT
7         select LNX_MOD_64BIT
8         
9
10
11
12
13 config LNX_MOD_32BIT
14         bool "32 bit modules"
15         depends on LNX_KERN_MODS
16
17 config LNX_MOD_32BIT_TEST
18         bool "Linux (i386) test module"
19         default y if SYMMOD
20         depends on LNX_MOD_32BIT
21         help 
22             This is a simple 32 bit test Linux kernel module
23
24
25
26
27 config LNX_MOD_64BIT
28         bool "64 bit modules" 
29         depends on LNX_KERN_MODS
30         default y               
31