17 commits

Author	SHA1	Message	Date
Hannes Mehnert	784429744c	versioning: revise it all, use a 'current' in Vmm_commands, all daemons reply with the received version on that particular stream	2019-11-11 23:20:03 +01:00
Hannes Mehnert	520eab879e	minor api cleanup	2019-10-12 02:06:45 +02:00
Hannes Mehnert	58c3490782	restart on failure	2019-10-12 02:06:45 +02:00
Hannes Mehnert	16f06216ba	vmmd: fine grained output handling, gracefully handle Failure from console	2019-01-27 16:07:53 +01:00
Hannes Mehnert	c372c8405e	vmmd: dump state (unikernel configurations) on create+destroy, restore from state on startup	2019-01-20 22:17:59 +01:00
Hannes Mehnert	4d3bb777e1	vmm_vmmd: introduce and use type 'a create	2019-01-20 22:09:33 +01:00
Hannes Mehnert	e58ab236b7	vmmd: lock self_destruct with a mutex, respect result of killall (nothing killed, nothing to do)	2019-01-20 22:09:33 +01:00
Hannes Mehnert	d4e31da27f	vmmd: setup and teardown stat by create continuation, and vmm_vmmd.handle_shutdown	2019-01-20 22:09:33 +01:00
Hannes Mehnert	fdcea94a0b	vmmd: store waiter, not tasks in Vmm_vmmd.t -- create task and waiter on demand (destroy / create --force), instead of at each unikernel creation	2019-01-20 22:09:33 +01:00
Hannes Mehnert	094922f6b0	vmmd: teardown gracefully (kill all vms), install SIGTERM handler to teardown	2019-01-18 01:14:11 +01:00
Hannes Mehnert	c8f1030403	rename Vm to Unikernel	2018-11-13 01:02:05 +01:00
Hannes Mehnert	2e7f2730a2	move Vm to submodule	2018-11-11 03:24:50 +01:00
Hannes Mehnert	43379d6d9d	rename Vmm_core.id to Vmm_core.Name.t and make it private - also check constructors to fit into 20 chars ldh (and in Vmm_tls max depth = 10)	2018-11-11 01:44:31 +01:00
Hannes Mehnert	7c34c61d43	vmmd_tls needs looping behaviour after adding a policy to start vm	2018-10-31 23:03:30 +01:00
Hannes Mehnert	a60f866f70	fewer lists, read replies (to sockets) in vmmd	2018-10-26 21:30:54 +02:00
Hannes Mehnert	89fea934a7	copyright	2018-10-26 21:29:59 +02:00
Hannes Mehnert	a064c7f58e	move more stuff around	2018-10-26 21:29:59 +02:00

Renamed from src/vmm_engine.mli (Browse further)