12 commits

Author	SHA1	Message	Date
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)