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'
[palacios.git] / kitten / .hgignore
1 # use glob syntax.
2 syntax: glob
3
4 *.o
5 *.cmd
6 *.out
7 vmlwk
8 vmlwk.*
9 System.map
10 *.swp
11 .config
12 .config.old
13 .kconfig.d
14 .version
15 .kernelrelease
16 patch
17 out
18 lib.a
19 *.iso
20 arch/x86_64/boot/bootsect
21 arch/x86_64/boot/bzImage
22 arch/x86_64/boot/setup
23 arch/x86_64/boot/tools/build
24 arch/x86_64/kernel/asm-offsets.s
25 bochs/bochsout.txt
26 include/arch-x86_64/asm-offsets.h
27 include/lwk/autoconf.h
28 include/lwk/compile.h
29 include/lwk/version.h
30 scripts/basic/docproc
31 scripts/basic/fixdep
32 scripts/basic/split-include
33 scripts/kconfig/conf
34 scripts/kconfig/lex.zconf.c
35 scripts/kconfig/zconf.hash.c
36 scripts/kconfig/zconf.tab.c
37 scripts/kallsyms
38 .tmp_*
39 include/arch
40 init_task
41 user/hello_world/hello_world
42 user/liblwk/liblwk.a
43
44
45 syntax: regexp
46 ^include/config