File tree Expand file tree Collapse file tree 5 files changed +9
-5
lines changed Expand file tree Collapse file tree 5 files changed +9
-5
lines changed Original file line number Diff line number Diff line change @@ -59,6 +59,7 @@ Library xenopsd
5959 Xenopsd,
6060 Xenops_server_plugin,
6161 Xenops_server_skeleton,
62+ Xenops_server_simulator,
6263 Scheduler,
6364 Resources,
6465 Storage,
File renamed without changes.
Original file line number Diff line number Diff line change 11# OASIS_START
2- # DO NOT EDIT (digest: 4077cc0e0d0c6a70c36eb921e60e710b )
2+ # DO NOT EDIT (digest: bf8f8ee381a7a8fe05ca603a15edfaef )
33Suspend_image
44Cancellable_subprocess
55Bootloader
@@ -15,6 +15,7 @@ Xenops_server
1515Xenopsd
1616Xenops_server_plugin
1717Xenops_server_skeleton
18+ Xenops_server_simulator
1819Scheduler
1920Resources
2021Storage
Original file line number Diff line number Diff line change 11# OASIS_START
2- # DO NOT EDIT (digest: 4077cc0e0d0c6a70c36eb921e60e710b )
2+ # DO NOT EDIT (digest: bf8f8ee381a7a8fe05ca603a15edfaef )
33Suspend_image
44Cancellable_subprocess
55Bootloader
@@ -15,6 +15,7 @@ Xenops_server
1515Xenopsd
1616Xenops_server_plugin
1717Xenops_server_skeleton
18+ Xenops_server_simulator
1819Scheduler
1920Resources
2021Storage
Original file line number Diff line number Diff line change 11(* setup.ml generated for the first time by OASIS v0.3.0 *)
22
33(* OASIS_START *)
4- (* DO NOT EDIT (digest: 5ef520e85595c596c6f1f2e0b79aa911 ) *)
4+ (* DO NOT EDIT (digest: 68259c41fee46b18e8ca9e4ae82b561c ) *)
55(*
66 Regenerated by OASIS v0.4.8
77 Visit http://oasis.forge.ocamlcore.org for more information and
@@ -7417,6 +7417,7 @@ let setup_t =
74177417 " Xenopsd" ;
74187418 " Xenops_server_plugin" ;
74197419 " Xenops_server_skeleton" ;
7420+ " Xenops_server_simulator" ;
74207421 " Scheduler" ;
74217422 " Resources" ;
74227423 " Storage" ;
@@ -8833,15 +8834,15 @@ let setup_t =
88338834 };
88348835 oasis_fn = Some " _oasis" ;
88358836 oasis_version = " 0.4.8" ;
8836- oasis_digest = Some " \240 Z \158\157 S8 \173\204 p* \207\020\216\006\t\152 " ;
8837+ oasis_digest = Some " F \012\237 SPN \218 &2 \025\154\169 m'cy " ;
88378838 oasis_exec = None ;
88388839 oasis_setup_args = [] ;
88398840 setup_update = false
88408841 };;
88418842
88428843let setup () = BaseSetup. setup setup_t;;
88438844
8844- # 8845 " setup.ml"
8845+ # 8846 " setup.ml"
88458846let setup_t = BaseCompat.Compat_0_4. adapt_setup_t setup_t
88468847open BaseCompat.Compat_0_4
88478848(* OASIS_STOP *)
You can’t perform that action at this time.
0 commit comments