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.


userspace changes to break apart VM lifecycle management
[palacios.git] / linux_usr / Makefile
1 all: v3_ctrl v3_stop v3_cons v3_mem v3_monitor v3_stream v3_user_host_dev_example v3_os_debug v3_user_keyed_stream_example v3_user_keyed_stream_file v3_core_move v3_save v3_load
2
3
4
5 v3_ctrl : v3_ctrl.c v3_pause.c v3_continue.c v3_launch.c v3_stop.c v3_create.c v3_free.c
6         gcc -static v3_launch.c -o v3_launch
7         gcc -static v3_stop.c -o v3_stop 
8         gcc -static v3_pause.c -o v3_pause
9         gcc -static v3_continue.c -o v3_continue
10         gcc -static v3_create.c -o v3_create
11         gcc -static v3_free.c -o v3_free
12
13
14 v3_save : v3_save.c v3_ctrl.h
15         gcc -static v3_save.c -o v3_save 
16 v3_load : v3_load.c v3_ctrl.h
17         gcc -static v3_load.c -o v3_load 
18
19 v3_mem : v3_mem.c v3_ctrl.h
20         gcc -static v3_mem.c -o v3_mem 
21
22 v3_cons : v3_cons.c v3_cons_sc.c v3_ctrl.h
23         gcc  -static v3_cons.c -o v3_cons -lcurses
24         gcc  -static v3_cons_sc.c -o v3_cons_sc -lcurses
25
26 v3_stream : v3_stream.c v3_ctrl.h
27         gcc -static v3_stream.c -o v3_stream 
28
29 v3_monitor : v3_cons.c v3_ctrl.h
30         gcc -static v3_monitor.c -o v3_monitor
31
32 v3_user_host_dev_example: v3_user_host_dev_example.c v3_user_host_dev.h v3_user_host_dev.c
33         gcc -static -I../linux_module v3_user_host_dev_example.c v3_user_host_dev.c -o v3_user_host_dev_example
34
35 v3_os_debug: v3_os_debug.c v3_user_host_dev.h v3_user_host_dev.c
36         gcc -static -I../linux_module v3_os_debug.c v3_user_host_dev.c -o v3_os_debug
37
38 v3_user_keyed_stream_example: v3_user_keyed_stream_example.c v3_user_keyed_stream.h v3_user_keyed_stream.c
39         gcc -static -I../linux_module v3_user_keyed_stream_example.c v3_user_keyed_stream.c -o v3_user_keyed_stream_example
40
41
42 v3_user_keyed_stream_file: v3_user_keyed_stream_file.c v3_user_keyed_stream.h v3_user_keyed_stream.c
43         gcc -static -I../linux_module v3_user_keyed_stream_file.c v3_user_keyed_stream.c -o v3_user_keyed_stream_file
44
45 v3_core_move : v3_core_move.c v3_ctrl.h
46         gcc -static v3_core_move.c -o v3_core_move
47
48 v3_inject_ecc_scrubber_mce: v3_inject_ecc_scrubber_mce.c
49         gcc -static -I../linux_module v3_inject_ecc_scrubber_mce.c -o v3_inject_ecc_scrubber_mce
50
51 clean:
52         rm -f v3_ctrl v3_cons v3_mem v3_monitor v3_stream v3_user_host_dev_example v3_os_debug v3_user_keyed_stream_example v3_user_keyed_stream_file v3_core_migrate