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 / include / arch-generic / sections.h
1 #ifndef _ARCH_GENERIC_SECTIONS_H_
2 #define _ARCH_GENERIC_SECTIONS_H_
3
4 /* References to section boundaries */
5
6 extern char _text[], _stext[], _etext[];
7 extern char _data[], _sdata[], _edata[];
8 extern char __bss_start[], __bss_stop[];
9 extern char __init_begin[], __init_end[];
10 extern char _sinittext[], _einittext[];
11 extern char _sextratext[] __attribute__((weak));
12 extern char _eextratext[] __attribute__((weak));
13 extern char _end[];
14 extern char __per_cpu_start[], __per_cpu_end[];
15 extern char __kprobes_text_start[], __kprobes_text_end[];
16 extern char __initdata_begin[], __initdata_end[];
17
18 #endif /* _ARCH_GENERIC_SECTIONS_H_ */